Released: Feb 6, 2013
An interface to SAT solver tools (like minisat)
UNKNOWN
1.1b1 pre-release
Aug 17, 2018
1.0
Apr 25, 2015
1.0a5 pre-release
1.0a4 pre-release
Feb 7, 2013
1.0a3 pre-release
Feb 6, 2013
1.0a2 pre-release
1.0a1 pre-release
Supported by