This is a CL-SAT binding to PicoSAT, a SAT solver which frequently appear in the SATRace competition. It is somehow advertized as "faster than minisat 2.0 in industrial track", according to the Ubuntu package description, and has many bindings in other languages. However, the most recent competition winners are Glucose/Lingeling, so we rather recommend cl-sat.glucose.
This library is at least tested on implementation listed below:
- SBCL 1.4.0 on X86-64 Linux 4.10.0-38-generic (author's environment)
Also, it depends on the following libraries:
-
trivia :
-
alexandria by Nikodemus Siivola nikodemus@sb-studio.net, and others. : Alexandria is a collection of portable public domain utilities.
-
iterate by ** : Jonathan Amsterdam's iterator/gatherer/accumulator facility
-
cl-sat :
- Masataro Asai (guicho2.71828@gmail.com)
Copyright (c) 2017 Masataro Asai (guicho2.71828@gmail.com)
Licensed under the LLGPL License.