Skip to content

Releases: sambayless/monosat

1.4.0

27 Mar 23:02
Compare
Choose a tag to compare

Many improvements, including:
a new, more flexible heuristic framework
faster conflict analysis in for bitvectors
faster graph reachability checks
many bug fixes

1.2.0

14 Dec 20:22
Compare
Choose a tag to compare

Adds improved BitVector support, fixes some bugs.

1.1.2

17 Jul 04:55
Compare
Choose a tag to compare

Adds some minimal error checking to the Python interface, and more examples.

v1.1.1

13 Jul 00:03
Compare
Choose a tag to compare
v1.1.1 Pre-release
Pre-release

This release features bitvector support, and a new Python interface.

v1.0.1

21 Mar 03:16
Compare
Choose a tag to compare

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

23 Jan 20:11
Compare
Choose a tag to compare
1.0

First stable MonoSAT release. Includes support for graph predicates, and basic support for convex hull intersections.