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: almost 3 years agoLinked from 2 awesome lists
Related projects:
| Repository | Description | Stars |
|---|---|---|
| A system for solving problems with logical rules and integer arithmetic constraints | 189 | |
| A configurable constraint solver written in Elixir. | 40 | |
| A logic programming library for Swift that uses constraints to solve problems | 195 | |
| A programming framework for expressing constraints across classical and quantum computing architectures | 5 | |
| A linear constraint solver implemented in Swift | 111 | |
| A library that simplifies Autolayout constraint writing in iOS development | 25 | |
| A solver for mixed integer programming and nonlinear optimization problems | 407 | |
| A library for mapping constraints to low-dimensional optimization problems | 19 | |
| Tools and templates for solving Advent of Code puzzles in Ruby | 24 | |
| A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 | |
| 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 | |
| A tool for solving Advent of Code puzzles in Ruby | 10 | |
| An Auto Layout library that simplifies constraint creation and reduces code verbosity | 27 | |
| A command-line tool for solving Advent of Code puzzles | 293 | |
| A comprehensive collection of solutions to common problems in programming using Reason and OCaml | 110 |