This is the cl-sat.glucose Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Fri May 15 11:59:30 2026 GMT+0.
The main system appears first, followed by any subsystem dependency.
cl-sat.glucoseCL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).
Masataro Asai
(GIT https://github.com/guicho271828/cl-sat.glucose.git)
LLGPL
0.1
trivial-package-manager (system).
trivia (system).
alexandria (system).
iterate (system).
cl-sat (system).
trivial-package-manager (system).
src (module).
Modules are listed depth-first from the system components tree.
cl-sat.glucose/srccl-sat.glucose (system).
package.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
cl-sat.glucose/cl-sat.glucose.asdcl-sat.glucose (system).
cl-sat.glucose/src/package.lispsrc (module).
*glucose-home* (special variable).
glucose-binary (function).
Packages are listed by definition order.
cl-sat.glucosealexandria.
cl-sat.
common-lisp.
iterate.
trivia.level2.
*glucose-home* (special variable).
glucose-binary (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
| Jump to: | F G |
|---|
| Index Entry | Section | ||
|---|---|---|---|
| | |||
| F | |||
Function, glucose-binary: | Private ordinary functions | ||
| | |||
| G | |||
glucose-binary: | Private ordinary functions | ||
| | |||
| Jump to: | F G |
|---|
| Jump to: | *
S |
|---|
| Index Entry | Section | ||
|---|---|---|---|
| | |||
| * | |||
*glucose-home*: | Private special variables | ||
| | |||
| S | |||
Special Variable, *glucose-home*: | Private special variables | ||
| | |||
| Jump to: | *
S |
|---|
| Jump to: | C F M P S |
|---|
| Jump to: | C F M P S |
|---|