Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with constraint-programming

A curated list of projects in awesome lists tagged with constraint-programming .

https://github.com/apache/incubator-kie-optaplanner

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

artificial-intelligence branch-and-bound constraint-programming constraint-solver constraints employee-rostering java local-search mathematical-optimization metaheuristics optimization rostering scheduling simulated-annealing solver tabu-search traveling-salesman

Last synced: 22 Dec 2025

https://github.com/timefoldai/timefold-solver

The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java kotlin maintenance-scheduling operations-research optimization-algorithms planning-algorithms resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 16 Jan 2026

https://github.com/TimefoldAI/timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java kotlin maintenance-scheduling operations-research optimization-algorithms planning-algorithms python resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 05 Apr 2025

https://github.com/scipopt/scip

SCIP - Solving Constraint Integer Programs

constraint-programming integer-programming minlp minlp-solver mip mip-solver scip

Last synced: 15 May 2025

https://github.com/timefoldai/timefold-quickstarts

Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

artificial-intelligence constraint-programming cvrp employee-scheduling gradle java job-shop-scheduling kotlin maintenance-scheduling maven operations-research optimization-library planning-algorithms quarkus resource-allocation spring-boot vehicle-routing-problem vrptw

Last synced: 11 Aug 2025

https://github.com/jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

constraint-programming constraint-satisfaction-problem optimization poker scip svelte web-application web-assembly

Last synced: 15 Mar 2026

https://github.com/triska/clpfd

Constraint Logic Programming over Finite Domains

clp constraint-programming constraints integer-arithmetic prolog teaching

Last synced: 04 Jan 2026

https://github.com/triska/clpz

Constraint Logic Programming over Integers

clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog

Last synced: 04 Jan 2026

https://github.com/corail-research/seapearl.jl

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

constraint-programming dynamic-programming graphs julialang reinforcement-learning research

Last synced: 09 Apr 2025

https://github.com/lume/kiwi

Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).

assemblyscript autolayout autolayout-constraints cassowary constraint-layout constraint-programming constraint-solver constraints javascript kiwi typescript webassembly

Last synced: 05 Apr 2025

https://github.com/yangeorget/nucs

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

branch-and-bound constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver constraints csp numba numpy operational-research optimization python python-3 python-library solver

Last synced: 04 Apr 2026

https://github.com/codac-team/codac

Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.

constraint-programming dynamical-systems interval-analysis localization mobile-robotics robotics slam state-estimation tubes

Last synced: 02 Apr 2026

https://github.com/nitiwari-dev/android-percent-layout-sample

Note: Its build using ConstraintLayout. The sample is an alternative for nested layouts. Build to remove nested structure and create a flat xml layout, which eventually improves performance

android android-application android-percent-layout android-ui constraint-layout constraint-programming constraintheight demo example-code layout-height-percent layout-width-percent library percent percentframelayout relativelayout support xml

Last synced: 25 Oct 2025

https://github.com/juliaconstraints/localsearchsolvers.jl

A Julia package to manage Constraint-Based Local Search (CBLS) solvers.

constraint-programming constraint-solver local-search

Last synced: 07 May 2025

https://github.com/triska/simsttab

Simple timetabling engine for schools

clp constraint-programming prolog school timetable timetabling-engine

Last synced: 12 Feb 2026

https://github.com/letmaik/monadiccp

Monadic Constraint Programming framework

constraint-programming haskell monads

Last synced: 19 Apr 2025

https://github.com/irfansharif/solver

SAT solver library in Go; wraps around Google's Operational Research Tools

constraint-programming optimization sat-solver

Last synced: 17 Jun 2025

https://github.com/unitn-sml/pyconstruct

Python library for declarative, constrained, structured-output prediction.

constraint-programming jinja2 machine-learning minizinc structured-prediction

Last synced: 08 May 2025

https://github.com/awto/mfjs-logic

Logical programming in JavaScript

constraint-programming javascript logic logic-programming mfjs monad

Last synced: 15 May 2025

https://github.com/hadipourh/zeroplus

Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2

ascon constraint-programming cryptanalysis cryptography forkskinny-block-cipher impossible-differential integral-cryptanalysis mantis milp present-block-cipher qarmav2 skinny-block-cipher symmetric-key-cryptography zero-correlation-cryptanalysis

Last synced: 25 Feb 2026

https://github.com/0xfuturistic/amber

🧚 Hook-based Intents for Ethereum

constraint-programming ethereum hooks intents smart-contracts

Last synced: 07 May 2025

https://github.com/sp71/SnapLayout

Concise Auto Layout API to chain programmatic constraints while easily updating existing constraints.

autolayout constraint-programming constraints ios pin

Last synced: 30 Jul 2025

https://github.com/timefoldai/timefold-solver-enterprise

Timefold's commercial offering, enhancing Timefold Solver Community Edition with additional features. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java maintenance-scheduling metaheuristics operations-research optimization optimization-library planning-algorithms resource-allocation solver-library timefold vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 24 Jun 2025

https://github.com/twibiral/javachr

Object-oriented implementation of Constraint Handling Rules in modern Java

chr chr-rules constraint constraint-programming

Last synced: 12 Apr 2025

https://github.com/erohkohl/n-queens-sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

constraint-programming constraint-satisfaction-problem dpll-algorithm n-queens rust rust-lang sat-solver tdd

Last synced: 09 May 2025

https://github.com/lukaspietzschmann/zigchr

A FreeCHR instance written in Zig

constraint-programming zig

Last synced: 22 Feb 2026

https://github.com/paulk-asert/groovy-constraint-programming

Three common programming paradigms or styles are the imperative (OO & procedural), functional, and logic (or constraint) styles. This repo shows examples of the latter using the Apache Groovy programming language and other (mostly JVM) languages which support this style of programming (often using libraries).

constraint-programming groovy jvm-languages linear-programming programming-language

Last synced: 06 Mar 2026

https://github.com/jdswalker/N-Queens_Problem

N-Queens problem solvers and solution counters implemented using a constrained DFS algorithm

bash-script c c99 constrained-dfs-algorithm constraint-programming depth-first-search dfs-algorithm go golang n-queens python r r-language shell

Last synced: 23 Aug 2025

https://github.com/valendrew/vlsi-design

Combinatorial and Decision Making Optimization (CDMO) project during the A.Y. 2021/2022.

combinatorial-optimization constraint-programming cplex linear-programming mixed-integer-programming smt-lib vlsi-design

Last synced: 15 Mar 2026

https://github.com/nornagon/constraint-solving-pcg

Using Constraints to Generate Content That Follows Rules

constraint-programming pcg procedural-generation

Last synced: 27 Feb 2026

https://github.com/gwr3n/syat-choco

A Choco extension for Declarative Statistics

constraint-programming declarative-statistics

Last synced: 11 Jan 2026

https://github.com/totbwf/clphs

Constraint Logic Programming for Haskell

clp constraint-programming constraint-solver

Last synced: 15 Apr 2025

https://github.com/xoolive/constraints

Materials for a constraint programming course

constraint-programming python

Last synced: 12 Jul 2025

https://github.com/cordisvictor/easycsp-lib

EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)

constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver forward-checking java java11 java17 java21 java8

Last synced: 10 Jan 2026

https://github.com/brandonwillard/hypokanren

A microKanren implementation in Hy with constraints

constraint-programming hy logic-programming microkanren relational-programming

Last synced: 18 Feb 2026

https://github.com/tommasoazz/vrp-csp

Solution to the Constraint Satisfaction Problem "Vehicle Routing Problem".

constraint-programming minizinc vrp

Last synced: 23 Feb 2026

https://github.com/jaantollander/lockpatterncomplexity.jl

Solving the most complex lock patterns with Julia Language, MiniZinc, and Google OR-Tools.

combinatorial-optimization computational-science constraint-programming google-or-tools julia-language minizinc

Last synced: 30 Nov 2025

https://github.com/hussani/java-test-generator

Automatic test generator using constraint programming

code-generation constraint-programming testing

Last synced: 06 Jul 2025

https://github.com/patrykolejniczak/spartacus

Fast & Easy to use library to generate data sets according to given constraints (mathematican programming models)

benchmark constraint-programming constraints data-science dataset-generation generator linear-programming machine-learning mathematical-modelling mathematical-programming

Last synced: 10 Jul 2025

https://github.com/chutrunganh/optimization-project-it3052e

Optimizing the bin packing problem, aiming to efficiently allocate items of varying sizes into a finite number of bins while maximizing total profit, using optimization algorithms

bin-packing-problem capstone-project constraint-programming greedy-algorithm hust it3052 it3052e knapsack linear-programming local-search optimization project

Last synced: 07 Mar 2025

https://github.com/oodesigns/constrained-values

A Python library for creating type-safe, self-validating value objects using a powerful transformation and validation pipeline.

constrained-enum constrained-range constrained-value constraint-programming python validated-enum validated-range validated-value validation validation-library validator value-object

Last synced: 17 Mar 2026

https://github.com/cptoolset/xcsp-launcher

A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.

constraint-programming launcher tootatis xcsp3

Last synced: 01 Mar 2026

https://github.com/axionbuster/knapauc2

Fastest exact knapsack solver (in preparation)

algorithm constraint-programming dynamic-programming knapsack performance

Last synced: 20 Aug 2025

https://tvoygit.ru/r6/seapearl.jl

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

constraint-programming dynamic-programming graphs julialang reinforcement-learning research

Last synced: 05 Oct 2025

https://github.com/mhenderson/psssodls

Generate PSSSODLS in Minion format.

combinatorics constraint-programming latin-squares minion

Last synced: 14 Aug 2025

https://github.com/darkstego/ortools-sat

Crystal Lang bindings for OR-Tools Sat solver

constraint-programming crystal crystal-lang ortools sat-solver

Last synced: 30 Mar 2025

https://github.com/pikalab-unibo-students/mas-ay2122-project-boezio

social simulation of school timetable generation process

clp constraint-programming jade multi-agent-systems

Last synced: 01 Oct 2025

https://github.com/zofiagrodecka/constraint-programming

Constraint programming exercises in MiniZinc

constraint-programming minizinc

Last synced: 03 Jan 2026

https://github.com/pjritee/pl_search

A Python module that uses Prolog ideas for search and constraint programming

backtracking-search constraint-logic-programming constraint-programming prolog python

Last synced: 03 Jul 2025

https://github.com/mhenderson/minionator

Generate Minion input files in R

constraint-programming minion r r-package

Last synced: 02 Aug 2025

https://github.com/mhenderson/mopr

Parse Minion output in R.

constraint-programming minion r r-package

Last synced: 13 Oct 2025

https://github.com/davidsusu/jsatbuilder

SAT formula builder with constraint dependency tracking written in Java

constraint-programming constraint-propagation dependency-tracker java library sat-solver-application

Last synced: 14 Jan 2026

https://github.com/LukasPietzschmann/zigtoberfest-talk-2024

The slides for my talk at the zigtoberfest 2024

constraint-programming latex-presentation

Last synced: 28 Jan 2026

https://github.com/pjritee/pl_search_cpp

A C++ module that uses Prolog ideas for search and constraint programming

backtracking-search constraint-logic-programming constraint-programming cplusplus prolog

Last synced: 04 Mar 2025

https://github.com/sraaphorst/sudoku-cp

A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.

choco-solver constraint-programming constraint-satisfaction-problem java java-10 sudoku sudoku-solver

Last synced: 18 Aug 2025

https://github.com/noflo/noflo-finitedomain

Finite Domain Constraint Solving for NoFlo

constraint-programming noflo

Last synced: 14 Jul 2025

https://github.com/amamory/power-optim

Minizinc model of a power-aware task placement onto a heterogenous platform (big-little, gpu, fpga)

constraint-programming heterogeneous-computing minizinc scheduling-algorithms

Last synced: 09 Sep 2025

https://github.com/gabryv00/automatedreasoning-project

Modeling the most efficient path problem in MiniZinc and in Logic Programming

answer-set-programming constraint-programming minizinc most-efficient-path

Last synced: 26 Oct 2025