cl-model-languages's repositories
cl-prolog2
Common Interface to ISO Prolog implementations from Common Lisp
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).
cl-minizinc
Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp
cl-sat.minisat
CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html