Last released May 7, 2018
A library to model MILP/SAT problems and have them solved via the SolveEngine using the web API
Supported by