Last released Aug 17, 2018
An interface to SAT solver tools (like minisat)
Last released Apr 5, 2017
A framework for writing ICAP servers
Supported by