Releases: sambayless/monosat
Releases · sambayless/monosat
1.4.0
1.2.0
Adds improved BitVector support, fixes some bugs.
1.1.2
Adds some minimal error checking to the Python interface, and more examples.
v1.1.1
This release features bitvector support, and a new Python interface.
v1.0.1
Stable MonoSAT release. Includes support for graph predicates, basic support for convex hull intersections, and experimental support for a theory of finite state machines.
1.0
First stable MonoSAT release. Includes support for graph predicates, and basic support for convex hull intersections.