Metadata-Version: 1.1
Name: msat
Version: 1.2.1
Summary: Multiset Constraint Solver for Multi-SAT
Home-page: https://github.com/dokelung/msat
Author: dokelung
Author-email: dokelung@gmail.com
License: UNKNOWN
Download-URL: https://github.com/dokelung/msat/tarball/v1.2
Description: UNKNOWN
Keywords: multiset,constraint,math
Platform: UNKNOWN
