pip install msat
Copy PIP instructions
Jun 6, 2015
Multiset Constraint Solver for Multi-SAT
View statistics for this project via Libraries.io, or by using Google BigQuery
Jun 2, 2015
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.