clpz
by triska
Constraint Logic Programming over Integers
AI summary
Constraint solver
A system for solving problems with logical rules and integer arithmetic constraints
- stars
- 189
- forks
- 15
- watching
- 11
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Constraint solver
A programming framework for expressing constraints across classical and quantum computing architectures
radsz/jacop220
Constraint Solver
A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms.
Constraint solver
A logic programming library for Swift that uses constraints to solve problems
Constraint Solver
A configurable constraint solver written in Elixir.
Constraint Solver
A linear constraint solver implemented in Swift
Logic reasoner
A suite of programs for reasoning with probabilistic logic programs
scipopt/scip407
MIP solver
A solver for mixed integer programming and nonlinear optimization problems
Constraint helper
A library that simplifies Autolayout constraint writing in iOS development
Constraint mapper
A library for mapping constraints to low-dimensional optimization problems
Constraint validator
A package to validate input data in GraphQL queries using constraints and directives.
shrynx/99.re110
Problem solver library
A comprehensive collection of solutions to common problems in programming using Reason and OCaml
cormanz/smartgpt1.8K
Task solver
Provides an LLM with the ability to complete complex tasks by breaking them down into smaller problems and collecting information from external sources.
Linear constraint solver plugin
A Qt plugin that allows QML applications to use incremental linear constraint solver
Algorithm library
A collection of Common Lisp implementations of data structures and algorithms for competitive programming.
Constraint library
An Auto Layout library that simplifies constraint creation and reduces code verbosity
Featured in 1 awesome list
Each link jumps to the spot where the list mentions clpz.
