This is the cl-maxsat Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 04:05:43 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
cl-maxsatCommon Lisp API to MAX-SAT Solvers
Masataro Asai
LGPL
0.1
cl-sat (system).
trivia (system).
alexandria (system).
iterate (system).
src (module).
Modules are listed depth-first from the system components tree.
cl-maxsat/srccl-maxsat (system).
0-package.lisp (file).
2-class.lisp (file).
3-dimacs.lisp (file).
4-competition.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
cl-maxsat/cl-maxsat.asdcl-maxsat/src/0-package.lispcl-maxsat/src/2-class.lispcl-maxsat/src/3-dimacs.lispcl-maxsat/src/4-competition.lispcl-maxsat/src/2-class.lispsrc (module).
initialize-instance (method).
maxsat-instance (class).
soft-clauses (reader method).
solve (method).
variables (method).
cl-maxsat/src/3-dimacs.lispsrc (module).
parse-wdimacs-output (function).
print-wcnf (function).
cl-maxsat/src/4-competition.lispsrc (module).
print-object (method).
*base-url* (special variable).
build-error (condition).
chmod-error (condition).
cmd (function).
cmd* (function).
cmd*/s (function).
cmd/s (function).
competition-setup-error (condition).
detect-cplex (function).
download-and-extract (function).
download-and-run-solver (generic function).
download-error (condition).
no-cplex-error (condition).
rel (function).
unzip-error (condition).
Packages are listed by definition order.
cl-maxsatalexandria.
cl-sat.
common-lisp.
iterate.
trivia.level2.
maxsat-instance (class).
parse-wdimacs-output (function).
print-wcnf (function).
soft-clauses (generic reader).
*base-url* (special variable).
build-error (condition).
chmod-error (condition).
cmd (function).
cmd* (function).
cmd*/s (function).
cmd/s (function).
competition-setup-error (condition).
detect-cplex (function).
download-and-extract (function).
download-and-run-solver (generic function).
download-error (condition).
no-cplex-error (condition).
rel (function).
unzip-error (condition).
Definitions are sorted by export status, category, package, and then by lexicographic order.
maxsat-instance)) ¶automatically generated reader method
maxsat-instance) &rest args &key converter soft-clauses &allow-other-keys) ¶competition-setup-error) s) ¶maxsat-instance) solver &rest args &key debug &allow-other-keys) ¶cl-sat.
maxsat-instance)) ¶cl-sat.
returns a status code, signal errors for non-0 return code
returns a status code, ignores error status
returns a string, ignores error status.
This is only for the ’light’ routines as the process may not be terminated properly.
returns a string, signal errors for non-0 return code.
This is only for the ’light’ routines as the process may not be terminated properly.
Returns function
(eql 2017)) (track (eql :incomplete)) (name (eql :maxhs-inc)) input dir result) ¶(eql 2017)) (track (eql :incomplete)) (name (eql :lmhs-inc)) input dir result) ¶(eql 2017)) (track (eql :incomplete)) (name (eql :open-wbo-lsu)) input dir result) ¶(eql 2017)) (track (eql :complete)) (name (eql :qmaxsatuc)) input dir result) ¶(eql 2017)) (track (eql :complete)) (name (eql :qmaxsat)) input dir result) ¶(eql 2017)) (track (eql :complete)) (name (eql :maxino)) input dir result) ¶(eql 2017)) (track (eql :complete)) (name (eql :open-wbo)) input dir result) ¶(eql 2017)) (track (eql :complete)) (name (eql :maxhs)) input dir result) ¶(eql 2017)) (track (eql :complete)) (name (eql :lmhs)) input dir result) ¶error.
| Jump to: | C D F G I M P R S V |
|---|
| Jump to: | C D F G I M P R S V |
|---|
| Jump to: | *
N S T Y |
|---|
| Jump to: | *
N S T Y |
|---|
| Jump to: | 0
2
3
4
B C D F M N P S U |
|---|
| Jump to: | 0
2
3
4
B C D F M N P S U |
|---|