cl-model-languages/cl-milp cl-model-languages/cl-milp

  • Stars
    star
    1
  • Language
    Common Lisp
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cl-model-languages/cl-milp
github

cl-model-languages

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

cl-prolog2

Common Interface to ISO Prolog implementations from Common Lisp
Common Lisp
31
star
2

cl-sat

Common Interface to Boolean Satisfiability Solvers from Common Lisp
Common Lisp
14
star
3

cl-smt

Common Interface to SMT (Satisfiable Module Theories) solvers from Common Lisp
Common Lisp
6
star
4

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).
Common Lisp
3
star
5

cl-minizinc

Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp
Common Lisp
1
star
6

cl-sat.minisat

CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html
Common Lisp
1
star
7

cl-maxsat

Common Lisp
1
star