Demonstration of some MIP/SAT/SMT solvers/optimizers in multiple programming languages.
Primary LanguagePythonMIT LicenseMIT