The cl-sat.minisat Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The cl-sat.minisat Reference Manual

This is the cl-sat.minisat Reference Manual, version 0.1, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Dec 02 09:46:29 2019 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction


* 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.





Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

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


Previous: , Up: Systems   [Contents][Index]

2.1 cl-sat.minisat

Author

Masataro Asai

Contact

guicho2.71828@gmail.com

License

LLGPL

Description

Common Lisp API to minisat

Version

0.1

Defsystem Dependency

trivial-package-manager

Dependencies
Source

cl-sat.minisat.asd (file)

Component

src (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

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


Previous: , Up: Modules   [Contents][Index]

3.1 cl-sat.minisat/src

Parent

cl-sat.minisat (system)

Location

src/

Component

package.lisp (file)


Next: , Previous: , Up: Top   [Contents][Index]

4 Files

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


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 cl-sat.minisat.asd

Location

cl-sat.minisat.asd

Systems

cl-sat.minisat (system)


Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src (module)

Location

src/package.lisp

Packages

cl-sat.minisat

Exported Definitions

*minisat-home* (special variable)

Internal Definitions

minisat-binary (function)


Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

5.1 cl-sat.minisat

Source

package.lisp (file)

Use List
Exported Definitions

*minisat-home* (special variable)

Internal Definitions

minisat-binary (function)


Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Special variables

Special Variable: *minisat-home*
Package

cl-sat.minisat

Source

package.lisp (file)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Functions

Function: minisat-binary &optional *MINISAT-HOME*
Package

cl-sat.minisat

Source

package.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   C   F   L   M  
Index Entry  Section

C
cl-sat.minisat.asd: The cl-sat․minisat․asd file
cl-sat.minisat/src: The cl-sat․minisat/src module
cl-sat.minisat/src/package.lisp: The cl-sat․minisat/src/package․lisp file

F
File, Lisp, cl-sat.minisat.asd: The cl-sat․minisat․asd file
File, Lisp, cl-sat.minisat/src/package.lisp: The cl-sat․minisat/src/package․lisp file

L
Lisp File, cl-sat.minisat.asd: The cl-sat․minisat․asd file
Lisp File, cl-sat.minisat/src/package.lisp: The cl-sat․minisat/src/package․lisp file

M
Module, cl-sat.minisat/src: The cl-sat․minisat/src module

Jump to:   C   F   L   M  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   F   M  
Index Entry  Section

F
Function, minisat-binary: Internal functions

M
minisat-binary: Internal functions

Jump to:   F   M  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   *  
S  
Index Entry  Section

*
*minisat-home*: Exported special variables

S
Special Variable, *minisat-home*: Exported special variables

Jump to:   *  
S  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   C   P   S  
Index Entry  Section

C
cl-sat.minisat: The cl-sat․minisat system
cl-sat.minisat: The cl-sat․minisat package

P
Package, cl-sat.minisat: The cl-sat․minisat package

S
System, cl-sat.minisat: The cl-sat․minisat system

Jump to:   C   P   S