jacop

Constraint Solver

A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms.

Java Constraint Programming solver

220 stars

21 watching

57 forks

Language: Java

last commit: about 1 year ago

Backlinks from these awesome lists:

Repository	Description	Stars
triska/clpz	A system for solving problems with logical rules and integer arithmetic constraints	189
dkendal/aruspex	A configurable constraint solver written in Elixir.	40
mdiep/logician	A logic programming library for Swift that uses constraints to solve problems	195
lanl/nchoosek	A programming framework for expressing constraints across classical and quantum computing architectures	5
tribalworldwidelondon/cassowaryswift	A linear constraint solver implemented in Swift	111
alexliubj/ezanchor	A library that simplifies Autolayout constraint writing in iOS development	25
scipopt/scip	A solver for mixed integer programming and nonlinear optimization problems	407
dwavesystems/penaltymodel	A library for mapping constraints to low-dimensional optimization problems	19
pacso/aoc_rb	Tools and templates for solving Advent of Code puzzles in Ruby	24
ableton/aqt-cassowary	A Qt plugin that allows QML applications to use incremental linear constraint solver	54
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,757
keirua/aoc-cli	A tool for solving Advent of Code puzzles in Ruby	10
ruipfcosta/autolayoutplus	An Auto Layout library that simplifies constraint creation and reduces code verbosity	27
scarvalhojr/aoc-cli	A command-line tool for solving Advent of Code puzzles	293
shrynx/99.re	A comprehensive collection of solutions to common problems in programming using Reason and OCaml	110