Releases2
Frequency1 year 1 week
Last Release
General satisfiability solver for logic problems