1cl-sat.minisat - Common Lisp API to minisat

See cl-sat for details.

Requires make,g++ to build minisat.

1.1Dependencies

This library is at least tested on implementation listed below:

• SBCL 1.3.5 on X86-64 Linux 3.19.0-59-generic (author's environment)

Also, it depends on the following libraries:

trivia by Masataro Asai

NON-optimized pattern matcher compatible with OPTIMA, with extensible optimizer interface and clean codebase

alexandria by

Alexandria is a collection of portable public domain utilities.

iterate by

Jonathan Amsterdam's iterator/gatherer/accumulator facility

1.2Author

• Masataro Asai (guicho2.71828@gmail.com)

2Copyright

Copyright (c) 2016 Masataro Asai (guicho2.71828@gmail.com)

3License

Licensed under the LLGPL License.