Releases2
Frequency1 year 1 week
Last Release
General satisfiability solver for logic problems
Subscribe above to receive notifications when new versions are released.
VersionDate
Stability
Stability is determined by the version string and my be inaccurate.
2.0.1 Stable
2.0.0 Stable