GitHub topics: constraint-programming

Repositories

Dekker1/homebrew-minizinc

A Homebrew Tap for MiniZinc solvers

Language: Ruby - Size: 84 KB - Last synced at: about 9 hours ago - Pushed at: about 12 hours ago - Stars: 3 - Forks: 0

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 90.1 MB - Last synced at: about 17 hours ago - Pushed at: about 19 hours ago - Stars: 32 - Forks: 6

ratioSolver/RiDDLe

Rational Domain Definition Language (RiDDLe)

Language: C++ - Size: 618 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 1.28 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 3

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 83.8 MB - Last synced at: about 2 hours ago - Pushed at: 3 days ago - Stars: 738 - Forks: 149

slothy-optimizer/slothy

Assembly super-optimization via constraint solving

Language: Assembly - Size: 136 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 224 - Forks: 25

karthick04023/rumours_complex_investment_decisions

📈 Analyze how rumors affect investment decisions using a qualitative reasoning engine for better outcomes and informed choices.

Language: Jupyter Notebook - Size: 1.39 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

scipopt/scip

SCIP - Solving Constraint Integer Programs

Language: C - Size: 234 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 523 - Forks: 87

PyJobShop/PyJobShop

Solve scheduling problems with constraint programming in Python.

Language: Python - Size: 2.46 MB - Last synced at: about 23 hours ago - Pushed at: 1 day ago - Stars: 75 - Forks: 12

ConSol-Lab/Pumpkin

A Lazy Clause Generation Constraint Programming solver written in Rust.

Language: Rust - Size: 19.8 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 54 - Forks: 21

xcsp3team/XCSP3-CPP-Parser

XCSP3 Core Parser in C++

Language: C++ - Size: 4.03 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 19 - Forks: 11

ScheduleOpt/optalcp-js

OptalCP JavaScript API

Language: JavaScript - Size: 475 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

TimefoldAI/timefold-quickstarts

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

Language: Java - Size: 32.2 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 459 - Forks: 143

xcsp3team/XCSP3-Java-Tools

XCSP3 Tools in Java

Language: Java - Size: 8.01 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 23 - Forks: 5

huub-solver/huub

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

Language: Rust - Size: 3.51 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 24 - Forks: 9

Wikunia/ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->

Language: Julia - Size: 2.18 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 142 - Forks: 14

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 110 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 108 - Forks: 22

An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!

Language: Python - Size: 6.98 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 58 - Forks: 9

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.

Language: Java - Size: 255 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1,493 - Forks: 163

xcsp3team/pycsp3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 213 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 74 - Forks: 10

xoolive/facile

Python constraint programming library

Language: OCaml - Size: 385 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 24 - Forks: 6

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.

Language: C++ - Size: 36 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 47 - Forks: 20

xcsp3team/PyCSP3-models

Models (and data) of constrained problems developped with the library PyCSP3

Language: Python - Size: 17.1 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 11 - Forks: 1

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.

Language: Java - Size: 233 MB - Last synced at: 19 days ago - Pushed at: 21 days ago - Stars: 3,427 - Forks: 961

LukasPietzschmann/zigchr

A FreeCHR instance written in Zig

Language: Zig - Size: 70.3 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 5 - Forks: 2

MiniZinc/minizinc-python

Access to all MiniZinc functionality directly from Python

Language: Python - Size: 1010 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 182 - Forks: 27

CameleoGrey/greyjack-solver-python

GreyJack Solver is a "jack of all trades" constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars

Language: Python - Size: 1.12 MB - Last synced at: 20 days ago - Pushed at: 23 days ago - Stars: 2 - Forks: 0

lume/kiwi

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

Language: TypeScript - Size: 555 KB - Last synced at: 21 days ago - Pushed at: 5 months ago - Stars: 189 - Forks: 9

paulk-asert/groovy-data-science

Some Data Science examples using Groovy

Language: Groovy - Size: 13.4 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 40 - Forks: 11

OODesigns/constrained-values

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

Language: Python - Size: 220 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

radevgit/zelen

MiniZinc to Selen CSP Solver

Language: Rust - Size: 6.89 MB - Last synced at: 20 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

acxz/optimal-job-scheduling

Language: Python - Size: 175 KB - Last synced at: 4 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

DiogoRibeiro7/rcpsp_cf_ivfth

Project scheduling optimization with financial constraints and fuzzy uncertainty. Multi-mode activities, loans, resource limits. Python/Pyomo.

Language: Python - Size: 1.2 MB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

fel88/CascadeDesktop

OpenCASCADE GUI Viewer/Editor

Language: C++ - Size: 6.45 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 57 - Forks: 19

Th1nhNg0/railbound_cp

A constraint programming solver for the puzzle game Railbound, written in MiniZinc. The model serves as a readable, educational example of applying CP to logic puzzles.

Language: MiniZinc - Size: 5.35 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

rmfalves/rcpsp-gpr-sat

A SAT-based C/C++ solver for the Resource-Constrained Project Scheduling Problem with General Precedence Relations (RCPSP-GPR)

Language: C - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

LukasPietzschmann/zigtoberfest-talk

The slides for my talk at the zigtoberfest 2024

Language: TeX - Size: 6.46 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

richoux/GHOST

General meta-Heuristic Optimization Solving Toolkit

Language: C++ - Size: 30.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 38 - Forks: 6

avaneev/biteopt

Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

Language: C++ - Size: 3.34 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 162 - Forks: 11

jump-dev/MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language

Language: Julia - Size: 148 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 19 - Forks: 4

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

Language: Python - Size: 87.9 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 10 - Forks: 1

karpfenprofessor/uvl_merger

merge variability models using java choco

Language: Java - Size: 3.69 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

mlabonne/linear-programming-course

Hands-on course about linear programming and mathematical optimization.

Language: Jupyter Notebook - Size: 362 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 107 - Forks: 15

MiniZinc/minizinc-js

Use MiniZinc in the browser or with NodeJS

Language: JavaScript - Size: 1.16 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 49 - Forks: 9

bokner/fixpoint

Constraint programming solver

Language: Elixir - Size: 3.58 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 61 - Forks: 0

pharmbio/plaid

PLAID (Plate Layouts using Artificial Intelligence Design) is a flexible constraint-programming model representing the Plate Layout Design problem.

Language: Jupyter Notebook - Size: 600 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 4

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 261 KB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 163 - Forks: 25

TommasoAzz/vrp-csp

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

Language: TeX - Size: 7.94 MB - Last synced at: 20 days ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

arnaud-m/cryptator

A constraint-based cryptarithm solver

Language: Java - Size: 4.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

carlosgeos/laligafantasy

⚽ 🇪🇸 Get the edge on LaLiga Fantasy

Language: Clojure - Size: 480 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

ingambe/JobShopCPEnv

A Constraint Programming Based Job-Shop Scheduling Reinforcement Learning Environment

Language: Python - Size: 36.9 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 3

ptal/pcp

Constraint programming in Rust

Language: Rust - Size: 598 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 110 - Forks: 8

bokner/solverl

Erlang/Elixir interface to MiniZinc.

Language: Elixir - Size: 1.1 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 45 - Forks: 8

CPToolset/XCSP-Launcher

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

Language: Python - Size: 1.39 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

chirindaopensource/rumours_complex_investment_decisions

End-to-end Python computational engine for qualitative financial modeling implementing Bočková et al. (2025) methodology. Employs Constraint Satisfaction Problems (CSP) and graph theory to model the impact of rumours on financial systems. Professional-grade codebase with extensive validation and customization capabilities.

Language: Jupyter Notebook - Size: 141 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

hadipourh/autoguess

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

Language: Python - Size: 24.3 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 28 - Forks: 4

ScheduleOpt/optalcp-benchmarks

Benchmarks, demos and utilities for OptalCP solver

Language: Scheme - Size: 200 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1

hadipourh/zeroplus

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

Language: MiniZinc - Size: 3.49 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 14 - Forks: 0

jmjrawlings/unconstrained

Python devcontainer for constraint programming

Language: Shell - Size: 10.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

ScheduleOpt/optalcp-js-bin-preview

OptalCP binaries for JavaScript (Preview Version)

Size: 21 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

lorenzialessandro/hcpga

A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem

Language: Python - Size: 112 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

weiran-aitech/shift_schedule

Modelling and Solving Employee Shift Scheduling (Including Nurse Rostering) Problems Using Constraint Programming (Combination of Artificial Intelligence and Operations Research) and Software Engineering Technologies 应用约束规划(人工智能+运筹学)及软件工程技术建模和解决员工排班(包括护士排班)调度问题

Language: Python - Size: 11 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 42 - Forks: 4

thebhavjotsingh/TA-Scheduler

A modern desktop application for assigning Teaching Assistants (TAs) to lab sections using constraint programming optimization.

Language: Python - Size: 169 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Pabloo22/job_shop_lib

A modular Python library for creating, solving, and visualizing job shop scheduling problems.

Language: Python - Size: 24 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 58 - Forks: 10

yangeorget/nucs

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

Language: Python - Size: 2.62 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 48 - Forks: 1

gdorleon/Constraint-Programming

University assignment - M1 Inteligent Systems and Multimedia ##

Language: Java - Size: 756 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 59.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 384 - Forks: 78

joshuaguerin/Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Language: Python - Size: 11.9 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 22 - Forks: 1

ktnr/BinPacking2D

Exact solutions for two-dimensional bin packing problems by branch-and-cut

Language: Python - Size: 1.06 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 75 - Forks: 10

triska/simsttab

Simple timetabling engine for schools

Language: Prolog - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 29 - Forks: 12

Seleneplus/minizinc-optimization-scheduler

Constraint-based scheduling in MiniZinc: task allocation, resource capabilities, and maintenance cycles with a multi-objective formulation. Example datasets and results included.

Language: MiniZinc - Size: 266 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

gnboorse/centipede

Constraint Satisfaction Problem Solver for Golang

Language: Go - Size: 805 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 69 - Forks: 11

CameleoGrey/greyjack-solver-rust

GreyJack Solver is the metaheuristic constraint solver for continuous, integer, mixed integer problems built on top of Polars

Language: Rust - Size: 9.2 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

markvincevarga/shift-optimizer 📦

A Constraint Programming solver for the Nurse Scheduling Problem, with personal shift preferences.

Language: Python - Size: 304 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 6

rmfalves/pmrobo

PMRobo is a cloud-based, multi-threaded project scheduling engine written in Go. Given project constraints such as task dependencies, resource capacities, and task resource consumption, it sets task start dates so that all constraints are met and the project is completed in the shortest possible timeframe.

Language: Go - Size: 15 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

Hareski/language-free-acq

A method for learning a constraint network with only solutions and non-solutions but no knowledge of the language to be used.

Language: Python - Size: 2.79 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

alussana/TrieSUS

Find the Smallest Unique Subset (SUS), fast

Language: Python - Size: 2.04 MB - Last synced at: 20 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 1

psanse/Bfilt

Linux release and dataset of instances tested of the new algorithm Bfilt for Binary Constraint Satisfaction Problems. The new algorithm improves over the state-of-the-art approaches.

Language: MiniZinc - Size: 327 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1

siemens/JMiniZinc

JMiniZinc

Language: Java - Size: 1.56 MB - Last synced at: 28 days ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 6

devhnry/course-schedular-backend

A modern university scheduling platform focused on efficient management of academic resources — venues, departments, programs, lecturers, and course timetables. Built with modular, maintainable architecture to support complex scheduling needs and integration with existing campus systems. Still in Progress...

Language: Java - Size: 325 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1