{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cl-sat.minisat","owner":"cl-model-languages","isFork":false,"description":"CL-SAT binding to MINISAT2 @ <a href=\"http://minisat.se/MiniSat.html\" rel=\"nofollow\">http://minisat.se/MiniSat.html</a>","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-01T16:41:18.740Z"}},{"type":"Public","name":"cl-sat","owner":"cl-model-languages","isFork":false,"description":"Common Interface to Boolean Satisfiability Solvers from Common Lisp","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":2,"starsCount":14,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-29T17:35:23.725Z"}},{"type":"Public","name":"cl-sat.glucose","owner":"cl-model-languages","isFork":false,"description":"CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-07T04:55:26.431Z"}},{"type":"Public","name":"cl-sat.picosat","owner":"cl-model-languages","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-07T04:35:49.118Z"}},{"type":"Public","name":"cl-prolog2","owner":"cl-model-languages","isFork":false,"description":"Common Interface to ISO Prolog implementations from Common Lisp","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":4,"starsCount":31,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-21T17:34:09.531Z"}},{"type":"Public","name":"cl-maxsat","owner":"cl-model-languages","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-08T17:04:28.076Z"}},{"type":"Public","name":"cl-smt","owner":"cl-model-languages","isFork":false,"description":"Common Interface to SMT (Satisfiable Module Theories) solvers from Common Lisp","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-29T04:08:42.290Z"}},{"type":"Public","name":"cl-minizinc","owner":"cl-model-languages","isFork":false,"description":"Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-07T14:35:48.961Z"}},{"type":"Public","name":"cl-milp","owner":"cl-model-languages","isFork":false,"description":"Common Interface to the MILP solvers (e.g. CPLEX, Globi, GLPK, LP_SOLVE) from Common Lisp","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-05T03:22:38.744Z"}}],"repositoryCount":9,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"cl-model-languages repositories"}