exact (pypi): A Python interface to the Exact integer linear programming solver
Keywords: Binary linear programming|Integer Programming|MIP|PB|SAT|SMT|cp