msat (pypi): Multiset Constraint Solver for Multi-SAT
Keywords: multiset|constraint|math