Topic: "constraint-programming"
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: 8 days ago - Pushed at: about 2 months ago - Stars: 3,416 - Forks: 960
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: 8 days ago - Pushed at: 8 days ago - Stars: 1,477 - Forks: 159
chocoteam/choco-solver
An open-source Java library for Constraint Programming
Language: Java - Size: 83.7 MB - Last synced at: 4 days ago - Pushed at: 20 days ago - Stars: 733 - Forks: 148
scipopt/scip
SCIP - Solving Constraint Integer Programs
Language: C - Size: 234 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 505 - Forks: 86
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: 28.2 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 439 - Forks: 130
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Language: JavaScript - Size: 59.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 384 - Forks: 78
Gecode/gecode
Generic Constraint Development Environment
Language: C++ - Size: 28.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 259 - Forks: 72
slothy-optimizer/slothy
Assembly super-optimization via constraint solving
Language: Assembly - Size: 126 MB - Last synced at: about 12 hours ago - Pushed at: about 12 hours ago - Stars: 223 - Forks: 23
lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
Language: TypeScript - Size: 555 KB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 186 - Forks: 9
triska/clpfd
Constraint Logic Programming over Finite Domains
Language: Prolog - Size: 823 KB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 175 - Forks: 11
jstrieb/poker-chipper
Optimally allocate poker chips using constrained, nonlinear optimization
Language: Svelte - Size: 14.4 MB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 174 - Forks: 4
triska/clpz
Constraint Logic Programming over Integers
Language: Prolog - Size: 1.01 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 172 - Forks: 14
corail-research/SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
Language: Julia - Size: 8.7 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 169 - Forks: 10
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
Language: Python - Size: 1000 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 164 - Forks: 27
lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
Language: C# - Size: 261 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 163 - Forks: 25
avaneev/biteopt
Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
Language: C++ - Size: 3.34 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 162 - Forks: 11
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
Language: Julia - Size: 2.18 MB - Last synced at: 25 days ago - Pushed at: over 3 years ago - Stars: 140 - Forks: 14
ktafakkori/feloopy
FelooPy: Efficient & Feature-Rich Integrated Decision Environment
Language: Python - Size: 20.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 121 - Forks: 9
ptal/pcp
Constraint programming in Rust
Language: Rust - Size: 598 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 110 - Forks: 8
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
Language: Haskell - Size: 110 MB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 105 - Forks: 22
mlabonne/linear-programming-course
Hands-on course about linear programming and mathematical optimization.
Language: Jupyter Notebook - Size: 362 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 97 - Forks: 15
ktnr/BinPacking2D
Exact solutions for two-dimensional bin packing problems by branch-and-cut
Language: Python - Size: 1.06 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 75 - Forks: 10
xcsp3team/pycsp3
A Python Library for modeling combinatorial constrained problems
Language: Python - Size: 216 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 74 - Forks: 10
gnboorse/centipede
Constraint Satisfaction Problem Solver for Golang
Language: Go - Size: 805 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 69 - Forks: 11
PyJobShop/PyJobShop
Solve scheduling problems with constraint programming in Python.
Language: Python - Size: 2.33 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 66 - Forks: 11
xgillard/ddo
DDO a generic and efficient framework for MDD-based optimization.
Language: Rust - Size: 14.9 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 62 - Forks: 8
bokner/fixpoint
Constraint programming solver
Language: Elixir - Size: 3.58 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 61 - Forks: 0
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Language: Scala - Size: 2.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 61 - Forks: 3
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!
Language: Python - Size: 6.9 MB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 58 - Forks: 9
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: about 1 month ago - Pushed at: about 1 month ago - Stars: 58 - Forks: 10
paolodragone/pymzn
A Python wrapper for the MiniZinc tool pipeline.
Language: Python - Size: 8.13 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 55 - Forks: 15
fel88/CascadeDesktop
OpenCASCADE GUI Viewer/Editor
Language: C++ - Size: 5.71 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 54 - Forks: 17
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.
Language: Python - Size: 25.2 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 52 - Forks: 6
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
Language: JavaScript - Size: 1.16 MB - Last synced at: 7 days ago - Pushed at: 15 days ago - Stars: 49 - Forks: 9
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: about 2 months ago - Pushed at: about 2 months ago - Stars: 48 - Forks: 1
ConSol-Lab/Pumpkin
A Lazy Clause Generation Constraint Programming solver written in Rust.
Language: Rust - Size: 19.7 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 47 - Forks: 20
Regista6/EA-FC-Automated-SBC-Solving
EA FC 25 Automated SBC Solving using Integer Programming ⚽
Language: Python - Size: 3.02 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 47 - Forks: 9
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: 26.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 46 - Forks: 20
bokner/solverl
Erlang/Elixir interface to MiniZinc.
Language: Elixir - Size: 1.1 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 45 - Forks: 8
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: about 1 month ago - Pushed at: 6 months ago - Stars: 42 - Forks: 4
paulk-asert/groovy-data-science
Some Data Science examples using Groovy
Language: Groovy - Size: 13.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 40 - Forks: 11
triska/clpb
Boolean Constraint Solving in Prolog
Language: Prolog - Size: 305 KB - Last synced at: 7 months ago - Pushed at: 10 months ago - Stars: 39 - Forks: 6
hyperc-ai/ordered
Entropy-controlled contexts in Python
Language: Python - Size: 120 KB - Last synced at: 21 days ago - Pushed at: almost 4 years ago - Stars: 39 - Forks: 3
richoux/GHOST
General meta-Heuristic Optimization Solving Toolkit
Language: C++ - Size: 30.6 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 38 - Forks: 6
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
Language: Kotlin - Size: 123 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 33 - Forks: 4
xcsp3team/ACE
Constraint Solver ACE
Language: Java - Size: 94.5 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 32 - Forks: 6
giangstrider/scheduling-optimization-ortools
Using Google Operation Research Tools (Ortools) to solve complex scheduling problems (General optimization problems).
Language: Python - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 32 - Forks: 4
JuliaConstraints/LocalSearchSolvers.jl
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Language: Julia - Size: 1.62 MB - Last synced at: about 23 hours ago - Pushed at: 8 days ago - Stars: 29 - Forks: 0
triska/simsttab
Simple timetabling engine for schools
Language: Prolog - Size: 35.2 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 29 - Forks: 12
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: 4 days ago - Pushed at: about 2 months ago - Stars: 28 - Forks: 4
letmaik/monadiccp
Monadic Constraint Programming framework
Language: Haskell - Size: 286 KB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 28 - Forks: 10
mingodad/picat
My unofficial picat http://picat-lang.org/ repository
Language: C - Size: 32.5 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 1
irfansharif/solver
SAT solver library in Go; wraps around Google's Operational Research Tools
Language: Go - Size: 280 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 9
starkblaze01/Jenereta
Automated TIme-Table Generator
Language: JavaScript - Size: 9.95 MB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 5
xoolive/facile
Python constraint programming library
Language: OCaml - Size: 418 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 24 - Forks: 6
huub-solver/huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Language: Rust - Size: 3.52 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 23 - Forks: 8
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: 18 days ago - Pushed at: 4 months ago - Stars: 22 - Forks: 1
xcsp3team/XCSP3-Java-Tools
XCSP3 Tools in Java
Language: Java - Size: 7.96 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 22 - Forks: 5
unitn-sml/pyconstruct
Python library for declarative, constrained, structured-output prediction.
Language: Python - Size: 13.7 MB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 21 - Forks: 4
TomasMikula/nutcracker
Problem solving à la carte
Language: Scala - Size: 1.23 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 1
erikerlandson/gibbous
Convex optimization for java and scala, built on Apache Commons Math
Language: Java - Size: 5.49 MB - Last synced at: 6 months ago - Pushed at: about 4 years ago - Stars: 20 - Forks: 8
xcsp3team/XCSP3-CPP-Parser
XCSP3 Core Parser in C++
Language: C++ - Size: 4.02 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 19 - Forks: 11
alex-87/HyperGraphLib
C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
Language: C++ - Size: 619 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 19 - Forks: 2
decisionbrain/cplex-scala
A scala library for IBM ILOG CPLEX
Language: Scala - Size: 431 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 19 - Forks: 2
jump-dev/MiniZinc.jl
A Julia interface to the MiniZinc constraint modeling language
Language: Julia - Size: 146 KB - Last synced at: 23 days ago - Pushed at: 5 months ago - Stars: 18 - Forks: 4
siemens/JMiniZinc
JMiniZinc
Language: Java - Size: 1.56 MB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 6
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: 19 days ago - Pushed at: 20 days ago - Stars: 17 - Forks: 4
bokner/solverview
solverl+LiveView examples
Language: Elixir - Size: 384 KB - Last synced at: 6 months ago - Pushed at: about 3 years ago - Stars: 17 - 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: about 2 months ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 6
awto/mfjs-logic
Logical programming in JavaScript
Language: JavaScript - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: over 9 years ago - Stars: 15 - 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: 4 days ago - Pushed at: 3 months ago - Stars: 14 - Forks: 0
laserbat/gol.py
efficient Game of Life in Python
Language: Python - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 1
ptal/bonsai
Programming language based on the synchronous and constraint paradigms
Language: Java - Size: 885 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 0
xcsp3team/cosoco
COmpact SOlver for COnstrained problems
Language: C++ - Size: 1.06 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 3
Lleutch/ConstraintTP
Constraint Type provider is a Type provider that provides constraints over F# Types.
Language: F# - Size: 57.6 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 12 - Forks: 0
ed-lam/nutmeg
Nutmeg – a MIP and CP branch-and-check solver
Language: C++ - Size: 1.57 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 0
sp71/SnapLayout 📦
Concise Auto Layout API to chain programmatic constraints while easily updating existing constraints.
Language: Swift - Size: 386 KB - Last synced at: 10 months ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 0
alex-87/qaekwy-python
Python Client library for Qaekwy Operational Research Solver
Language: Python - Size: 87.9 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 10 - Forks: 1
xcsp3team/PyCSP3-models
Models (and data) of constrained problems developped with the library PyCSP3
Language: Python - Size: 16.7 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 10 - Forks: 1
MiniZinc/minizinc-playground
MiniZinc playground using WebAssembly
Language: Svelte - Size: 18.2 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 10 - Forks: 2
hicsail/constellation-js
Library for combinatorially specifying, constraining, and exploring genetic design spaces.
Language: JavaScript - Size: 2.93 MB - Last synced at: 19 days ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 8
VincentGsell/2d-Constraints-Demos
Playing with 2d constaints
Language: Pascal - Size: 1.12 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 3
MuamerHr/Bin-Packing-Problem-BPP3D
This repository contains procedures to solve the bin packing problem for one, two, or three dimensions exactly or heuristically.
Language: C# - Size: 460 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 1
carlosgeos/free-money
Advantage gambling with sport betting bonuses
Language: AMPL - Size: 50.8 KB - Last synced at: 3 days ago - Pushed at: about 6 years ago - Stars: 9 - Forks: 1
artsiomkaltovich/zython
Express constraint programming problem with python and solve it with minizinc
Language: Python - Size: 4.97 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 8 - Forks: 1
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).
Language: Groovy - Size: 27.4 MB - Last synced at: about 16 hours ago - Pushed at: 10 months ago - Stars: 7 - Forks: 5
twibiral/JavaCHR
Object-oriented implementation of Constraint Handling Rules in modern Java
Language: Java - Size: 1.53 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
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.
Language: Rust - Size: 16.3 MB - Last synced at: 5 months ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 1
jmjrawlings/MiniZinc.Net
MiniZinc ↔ .NET
Language: C# - Size: 2.61 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 6 - Forks: 0
Arthod/python-minizinc-maker
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
Language: Python - Size: 1.91 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 6 - Forks: 0
Ochibobo/LearnieCP
An implementation of MiniCP from a Julia Programmer's view
Language: Julia - Size: 8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0
tienlonghungson/graph_partitioning
Solve graph partitioning problem experimenting IP, CP (ortools) , Tabu search and GA
Language: Java - Size: 22.4 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 0
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language: C++ - Size: 187 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 4
DivyanshuSaxena/2e-VRP
Repository for the implementation of a solution to the Network Design Problem for a modified Two Echelon Vehicle Routing Problem
Language: Java - Size: 206 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 2
richoux/GHOST_C_sharp
GHOST (General meta-Heuristic Optimization Solving Tool) is a C# library designed to solve combinatorial satisfaction and optimization problems within some tenth of milliseconds.
Language: C# - Size: 4.06 MB - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 6 - Forks: 2
alussana/TrieSUS
Find the Smallest Unique Subset (SUS), fast
Language: Python - Size: 2.04 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 5 - Forks: 1
Willtl/online-printing-shop
OPS scheduling problem models and instances.
Language: Python - Size: 12.5 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 5 - Forks: 5
carlosgeos/laligafantasy
⚽ 🇪🇸 Get the edge on LaLiga Fantasy
Language: Clojure - Size: 480 KB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1
WideSu/University_Timetabling
An AI planning project based on the 2019 international university timetabling competition which used commercial software IBM CPLEX to generate feasible course timetables with minimum penalty.
Language: Jupyter Notebook - Size: 5.29 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0
strateos/golomb-solver
Create Golomb rulers with constraint programming
Language: Scala - Size: 4.2 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0
