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: almost 3 years ago
Linked from 2 awesome lists


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
triska/clpzA system for solving problems with logical rules and integer arithmetic constraints189
dkendal/aruspexA configurable constraint solver written in Elixir.40
mdiep/logicianA logic programming library for Swift that uses constraints to solve problems195
lanl/nchoosekA programming framework for expressing constraints across classical and quantum computing architectures5
tribalworldwidelondon/cassowaryswiftA linear constraint solver implemented in Swift111
alexliubj/ezanchorA library that simplifies Autolayout constraint writing in iOS development25
scipopt/scipA solver for mixed integer programming and nonlinear optimization problems407
dwavesystems/penaltymodelA library for mapping constraints to low-dimensional optimization problems19
pacso/aoc_rbTools and templates for solving Advent of Code puzzles in Ruby24
ableton/aqt-cassowaryA Qt plugin that allows QML applications to use incremental linear constraint solver54
cormanz/smartgptProvides 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-cliA tool for solving Advent of Code puzzles in Ruby10
ruipfcosta/autolayoutplusAn Auto Layout library that simplifies constraint creation and reduces code verbosity27
scarvalhojr/aoc-cliA command-line tool for solving Advent of Code puzzles293
shrynx/99.reA comprehensive collection of solutions to common problems in programming using Reason and OCaml110