Pinned Repositories
cl-maxsat
cl-milp
Common Interface to the MILP solvers (e.g. CPLEX, Globi, GLPK, LP_SOLVE) from Common Lisp
cl-minizinc
Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp
cl-prolog2
Common Interface to ISO Prolog implementations from Common Lisp
cl-sat
Common Interface to Boolean Satisfiability Solvers 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-sat.minisat
CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html
cl-sat.picosat
cl-smt
Common Interface to SMT (Satisfiable Module Theories) solvers from Common Lisp
cl-model-languages's Repositories
cl-model-languages/cl-prolog2
Common Interface to ISO Prolog implementations from Common Lisp
cl-model-languages/cl-sat
Common Interface to Boolean Satisfiability Solvers from Common Lisp
cl-model-languages/cl-smt
Common Interface to SMT (Satisfiable Module Theories) solvers from Common Lisp
cl-model-languages/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-model-languages/cl-maxsat
cl-model-languages/cl-minizinc
Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp
cl-model-languages/cl-sat.minisat
CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html
cl-model-languages/cl-milp
Common Interface to the MILP solvers (e.g. CPLEX, Globi, GLPK, LP_SOLVE) from Common Lisp
cl-model-languages/cl-sat.picosat