Released: Jun 6, 2015
Multiset Constraint Solver for Multi-SAT
View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery
License: UNKNOWN
Author: dokelung
Tags multiset, constraint, math
UNKNOWN
1.2.1
Jun 6, 2015
1.2
1.1.2
1.1
Jun 2, 2015
1.0
Supported by