Explore @cl-model-languages Open Source projects

@cl-model-languages

cl-model-languages

Stars
58
Global Org. Rank 74,470 (Top 24 %)
Registered almost 5 years ago
Most used languages

Common Lisp
100.0 %

cl-prolog2

Common Interface to ISO Prolog implementations from Common Lisp

cl-sat

Common Interface to Boolean Satisfiability Solvers from Common Lisp

cl-smt

Common Interface to SMT (Satisfiable Module Theories) 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-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

cl-milp

Common Interface to the MILP solvers (e.g. CPLEX, Globi, GLPK, LP_SOLVE) from Common Lisp

cl-maxsat