constraint-programming

There are 25 repositories under constraint-programming topic.

incubator-kie-optaplanner
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.
java constraint-solver constraint-programming metaheuristics tabu-search simulated-annealing branch-and-bound rostering optimization constraints traveling-salesman scheduling solver employee-rostering mathematical-optimization artificial-intelligence local-search
Language:Java 3430
timefold-solver
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 cvrp employee-scheduling vehicle-routing vehicle-routing-problem vrp vrptw maintenance-scheduling planning-algorithms operations-research resource-allocation solver-library java optimization-algorithms solver kotlin constraint-programming constraint-solver
Language:Java 1496
chocoteam / choco-solver
An open-source Java library for Constraint Programming
constraint-programming solver constraints csp copr constraint-satisfaction-problem java constraint-solver constraint-optimisation-problem
Language:Java 737
scipopt / scip
SCIP - Solving Constraint Integer Programs
mip integer-programming constraint-programming minlp minlp-solver mip-solver scip
Language:C 524
timefold-quickstarts
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 employee-scheduling gradle java job-shop-scheduling kotlin maintenance-scheduling maven planning-algorithms quarkus spring-boot vehicle-routing-problem constraint-programming cvrp operations-research optimization-library resource-allocation vrptw
Language:Java 459
hakank / hakank
My public programs and models - mostly combinatorial problems and puzzles
constraint-programming constraint-satisfaction minizinc picat z3py gecode essence jacop ampl comet jgap frink prolog answer-set-programming choco eclipse-clp numberjack poplog sicstus-prolog setl
Language:JavaScript 389
Gecode / gecode
Generic Constraint Development Environment
constraint-satisfaction-problem constraint-programming constraint-propagation constraint-solver constrained-optimization constraint-satisfaction
Language:C++ 313
slothy-optimizer / slothy
Assembly super-optimization via constraint solving
assembly-language constraint-programming cryptography-tools superoptimization post-quantum-cryptography
Language:Assembly 223
triska / clpz
Constraint Logic Programming over Integers
clp constraints integer-arithmetic prolog sicstus-prolog constraint-programming
Language:Prolog 209
kiwi
lume / kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
cassowary kiwi autolayout autolayout-constraints constraints constraint-layout constraint-programming constraint-solver javascript typescript webassembly assemblyscript
Language:TypeScript 191
MiniZinc / minizinc-python
Access to all MiniZinc functionality directly from Python
minizinc constraint-programming python integer-programming linear-programming sat-solver optimisation-problem
Language:Python 187
triska / clpfd
Constraint Logic Programming over Finite Domains
constraint-programming integer-arithmetic clp prolog constraints teaching
Language:Prolog 186
poker-chipper
jstrieb / poker-chipper
Optimally allocate poker chips using constrained, nonlinear optimization
constraint-programming constraint-satisfaction-problem optimization poker scip svelte web-application web-assembly
Language:Svelte 174
corail-research / SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
constraint-programming reinforcement-learning julialang dynamic-programming research graphs
Language:Julia 169
lifebeyondfife / Decider
An Open Source .Net Constraint Programming Solver
constraint-programming constraint-satisfaction-problem c-sharp optimisation constraint-solver f-sharp
Language:C# 163
biteopt
avaneev / biteopt
Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
optimization-methods optimization-algorithms constraint-programming stochastic-optimizers evolutionary-algorithms metaheuristics optimization-tools optimization genetic-algorithm mixed-integer-programming differential-evolution hyperparameter-optimization meta-heuristic global-optimization global-optimization-algorithms black-box-optimization discrete-optimization mathematical-programming mathematical-optimization integer-programming
Language:C++ 162
ConstraintSolver.jl
Wikunia / ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
constraint-solver julia graph-coloring sudoku solver constraint-programming
Language:Julia 142
ptal / pcp
Constraint programming in Rust
constraint-programming rust solver
Language:Rust 110
conjure-cp / conjure
Conjure: The Automated Constraint Modelling Tool
constraints modelling combinatorial-optimization constraint-programming sat
Language:Haskell 108
mlabonne / linear-programming-course
Hands-on course about linear programming and mathematical optimization.
constraint-programming integer-linear-programming integer-programming linear-programming mixed-integer-programming
Language:Jupyter Notebook 107
ktnr / BinPacking2D
Exact solutions for two-dimensional bin packing problems by branch-and-cut
algorithm operations-research mathematical-programming constraint-programming branch-and-cut mixed-integer-programming bin-packing-problem knapsack-problem
Language:Python 78
gnboorse / centipede
Constraint Satisfaction Problem Solver for Golang
constraint-satisfaction-problem csp golang go solver solvers constraint-programming heuristic arc-consistency
Language:Go 75
PyJobShop / PyJobShop
Solve scheduling problems with constraint programming in Python.
constraint-programming cp-optimizer cp-sat fjsp flexible-job-shop flow-shop job-shop job-shop-scheduling jobshop operations-research optimization or-tools psplib rcpsp scheduling
Language:Python 74
xcsp3team / pycsp3
A Python Library for modeling combinatorial constrained problems
modeling modeling-language modeling-tool constraint-based-modeling constraint-programming constraints python constrained-optimization constraint-satisfaction-problem library xcsp3 pycsp3
Language:Python 74
wanxinjin / Safe-PDP
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
safe-reinforcement-learning safe-control safety-critical safety-critical-systems constraint-programming constraint-based-modeling constrained-optimization constrained-reinforcement-learning constrained-learning differentiable-programming safe-planning robotics-control non-convex-optimization constraints safety-critical-learning optimization
Language:Python 71
MatthiasNickles / diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
satisfiability answer-set-programming optimization probabilistic-programming artificial-intelligence sat-solver logic-programming psat constraint-programming differentiable-satisfiability differentiable-programming dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving probabilistic probability
Language:Scala 68
xgillard / ddo
DDO a generic and efficient framework for MDD-based optimization.
ddo discrete-optimization constraint-programming operations-research decision-diagrams constraint-satisfaction-problem constraint-optimisation-problem
Language:Rust 63
bokner / fixpoint
Constraint programming solver
constraint-programming elixir-lang operations-research discrete-optimization
Language:Elixir 61
Pabloo22 / job_shop_lib
A modular Python library for creating, solving, and visualizing job shop scheduling problems.
combinatorial-optimization constraint-programming graph-neural-networks job-shop-scheduling job-shop-scheduling-problem library flexible-job-shop-scheduling python reinforcement-learning reinforcement-learning-environments job-shop
Language:Python 61
Regista6 / EA-FC-Automated-SBC-Solving
EA FC 26 Automated SBC Solving using Integer Programming ⚽
constraint-programming fifa integer-programming optimization or-tools football football-analytics soccer-analytics fifa-ultimate-team cp-sat ai
Language:Python 59
CNApy
cnapy-org / CNApy
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!
metabolic-models constraint-programming bioinformatics flux-balance-analysis sbml systems-biology computational-biology cobra stoichiometric-modeling constraint-based-modeling constraint-based-analysis metabolic-reconstruction constraint-based-reconstruction metabolic-networks flux-variability metabolic-engineering fba fva
Language:Python 58
fel88 / CascadeDesktop
OpenCASCADE GUI Viewer/Editor
brep cad computer-aided-design constraint-programming constraint-satisfaction-problem csp geometry iges imgui modeling opencascade opengl opentk prototyping step
Language:C++ 57
paolodragone / pymzn
A Python wrapper for the MiniZinc tool pipeline.
constraint-programming jinja2 minizinc python
Language:Python 55
yangeorget / nucs
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
python-3 branch-and-bound constraint-satisfaction-problem constraint-solver numba numpy operational-research constraint-programming optimization python python-library constraint-optimisation-problem solver constraints csp
Language:Python 52
MiniZinc / minizinc-js
Use MiniZinc in the browser or with NodeJS
constraint-programming integer-programming javascript linear-programming minizinc nodejs optimisation-problem sat-solver typescript-definitions webassembly
Language:JavaScript 51
triska / clpb
Boolean Constraint Solving in Prolog
clp prolog constraints bdd constraint-programming independent-sets matchsticks-puzzle satisfiability sat
Language:Prolog 48