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

GitHub

220 stars

21 watching

57 forks

Language: Java

last commit: 12 months ago

Linked from 2 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
triska/clpz	A system for solving problems with logical rules and integer arithmetic constraints	185
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	402
dwavesystems/penaltymodel	A library for mapping constraints to low-dimensional optimization problems	19
pacso/aoc_rb	A tool to help developers solve Advent of Code puzzles by automating puzzle setup and submission.	18
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,755
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	250
shrynx/99.re	A comprehensive collection of solutions to common problems in programming using Reason and OCaml	110