CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
t
.gitignore
.travis.yml
Makefile
README.org
circle.yml
cl-sat.minisat.asd
cl-sat.minisat.test.asd
testscr.ros

README.org

cl-sat.minisat - Common Lisp API to minisat

See cl-sat for details.

Requires make,g++ to build minisat.

Dependencies

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

Author

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

Copyright

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

License

Licensed under the LLGPL License.