clpz
Constraint solver
A system for solving problems with logical rules and integer arithmetic constraints
Constraint Logic Programming over Integers
185 stars
11 watching
15 forks
Language: Prolog
last commit: 10 months ago
Linked from 1 awesome list
clpconstraint-programmingconstraintsinteger-arithmeticprologsicstus-prolog
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
 lanl/nchoosek | A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
 radsz/jacop | A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms. | 220 |
 mdiep/logician | A logic programming library for Swift that uses constraints to solve problems | 195 |
 dkendal/aruspex | A configurable constraint solver written in Elixir. | 40 |
 tribalworldwidelondon/cassowaryswift | A linear constraint solver implemented in Swift | 111 |
 friguzzi/cplint | A suite of programs for reasoning with probabilistic logic programs | 69 |
 scipopt/scip | A solver for mixed integer programming and nonlinear optimization problems | 402 |
 alexliubj/ezanchor | A library that simplifies Autolayout constraint writing in iOS development | 25 |
 dwavesystems/penaltymodel | A library for mapping constraints to low-dimensional optimization problems | 19 |
 confuser/graphql-constraint-directive | A package to validate input data in GraphQL queries using constraints and directives. | 569 |
 shrynx/99.re | A comprehensive collection of solutions to common problems in programming using Reason and OCaml | 110 |
 cormanz/smartgpt | Provides an LLM with the ability to complete complex tasks by breaking them down into smaller problems and collecting information from external sources. | 1,755 |
 ableton/aqt-cassowary | A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
 privet-kitty/cl-competitive | A collection of Common Lisp implementations of data structures and algorithms for competitive programming. | 180 |
 ruipfcosta/autolayoutplus | An Auto Layout library that simplifies constraint creation and reduces code verbosity | 27 |