Skip to content
@cl-model-languages

cl-model-languages

Pinned Loading

  1. cl-prolog2 cl-prolog2 Public

    Common Interface to ISO Prolog implementations from Common Lisp

    Common Lisp 31 1

  2. cl-sat cl-sat Public

    Common Interface to Boolean Satisfiability Solvers from Common Lisp

    Common Lisp 14 5

  3. cl-smt cl-smt Public

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

    Common Lisp 6

  4. cl-maxsat cl-maxsat Public

    Common Lisp 1

Repositories

Showing 9 of 9 repositories
  • cl-sat.minisat Public

    CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html

    cl-model-languages/cl-sat.minisat’s past year of commit activity
    Common Lisp 1 1 1 0 Updated Dec 1, 2023
  • cl-sat Public

    Common Interface to Boolean Satisfiability Solvers from Common Lisp

    cl-model-languages/cl-sat’s past year of commit activity
    Common Lisp 14 5 2 0 Updated Apr 29, 2022
  • cl-sat.glucose Public

    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-sat.glucose’s past year of commit activity
    Common Lisp 3 0 0 0 Updated Mar 7, 2022
  • cl-sat.picosat Public
    cl-model-languages/cl-sat.picosat’s past year of commit activity
    Common Lisp 0 0 0 0 Updated Mar 7, 2022
  • cl-prolog2 Public

    Common Interface to ISO Prolog implementations from Common Lisp

    cl-model-languages/cl-prolog2’s past year of commit activity
    Common Lisp 31 1 4 0 Updated Nov 21, 2021
  • cl-maxsat Public
    cl-model-languages/cl-maxsat’s past year of commit activity
    Common Lisp 1 0 0 0 Updated Feb 8, 2020
  • cl-smt Public

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

    cl-model-languages/cl-smt’s past year of commit activity
    Common Lisp 6 0 0 0 Updated Nov 29, 2017
  • cl-minizinc Public

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

    cl-model-languages/cl-minizinc’s past year of commit activity
    Common Lisp 1 0 0 0 Updated Nov 7, 2017
  • cl-milp Public

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

    cl-model-languages/cl-milp’s past year of commit activity
    Common Lisp 1 0 0 0 Updated Nov 5, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…