The cl-sat.glucose Reference Manual

This is the cl-sat.glucose Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sat Dec 03 20:38:06 2022 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 cl-sat.glucose

CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).

Author

Masataro Asai

Contact

Home Page

http://www.labri.fr/perso/lsimon/glucose/

Source Control

(GIT https://github.com/guicho271828/cl-sat.glucose.git)

Bug Tracker

https://github.com/guicho271828/cl-sat.glucose/issues

License

LLGPL

Version

0.1

Defsystem Dependency

trivial-package-manager (system).

Dependencies
  • trivia (system).
  • alexandria (system).
  • iterate (system).
  • cl-sat (system).
  • trivial-package-manager (system).
Source

cl-sat.glucose.asd.

Child Component

src (module).


3 Modules

Modules are listed depth-first from the system components tree.


3.1 cl-sat.glucose/src

Source

cl-sat.glucose.asd.

Parent Component

cl-sat.glucose (system).

Child Component

package.lisp (file).


4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


4.1 Lisp


4.1.1 cl-sat.glucose/cl-sat.glucose.asd

Source

cl-sat.glucose.asd.

Parent Component

cl-sat.glucose (system).

ASDF Systems

cl-sat.glucose.

Packages

cl-sat.glucose-asd.


4.1.2 cl-sat.glucose/src/package.lisp

Source

cl-sat.glucose.asd.

Parent Component

src (module).

Packages

cl-sat.glucose.

Internals

5 Packages

Packages are listed by definition order.


5.1 cl-sat.glucose-asd

Source

cl-sat.glucose.asd.

Use List
  • asdf/interface.
  • common-lisp.

5.2 cl-sat.glucose

Source

package.lisp.

Use List
  • alexandria.
  • cl-sat.
  • common-lisp.
  • iterate.
  • trivia.level2.
Internals

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


6.1 Internals


6.1.1 Special variables

Special Variable: *glucose-home*
Package

cl-sat.glucose.

Source

package.lisp.


6.1.2 Ordinary functions

Function: glucose-binary (&optional *glucose-home*)
Package

cl-sat.glucose.

Source

package.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   F   G  
Index Entry  Section

F
Function, glucose-binary: Private ordinary functions

G
glucose-binary: Private ordinary functions


A.3 Variables

Jump to:   *  
S  
Index Entry  Section

*
*glucose-home*: Private special variables

S
Special Variable, *glucose-home*: Private special variables