Released: Feb 6, 2013
An interface to SAT solver tools (like minisat)
View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery
License: BSD License (BSD License)
Author: FÁBIÁN Tamás László
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