pysolveengine (pypi): A library to model MILP/SAT problems and have them solved via the SolveEngine using the web API
Keywords: SolveEngine|MIP|SAT|Optimization