cl-sat.minisat


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

See [[https://github.com/guicho271828/cl-sat][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.





trivial-package-manager

alexandria

cl-sat.minisat

Upstream URL

Author

License

cl-sat.minisat

Version:

License:

Authors:

Defsystem Dependencies:

Dependencies:

cl-sat.minisat.test

License:

Authors:

Dependencies:

Dependencies (6)

Dependents (0)