The DomiKnowS library is integrated with the ILP solver Gurobi. The library provides necessary capability to find solutions for logical constraints encoded as an ILP model.
The requirements file for the library includes the Gurobi Python package gurobipy. This package comes with a trial license that allows solving problems of limited size. As a student or staff member of an academic institution, you qualify for a free, full product license. For more information, see:
For a commercial evaluation, you can request an evaluation license.