Search Results - RepositoryStats

955

3.3k

apache-2.0

169

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

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

Created 2011-02-15

9,019 commits to main branch, last one about a month ago

timefold-solver TimefoldAI

97

1.1k

apache-2.0

29

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 plann...

Created 2023-03-28

9,720 commits to main branch, last one 5 days ago

choco-solver chocoteam

145

694

bsd-4-clause

48

An open-source Java library for Constraint Programming

csp copr java solver constraints constraint-solver constraint-programming constraint-optimisation-problem constraint-satisfaction-problem

Created 2011-11-04

6,334 commits to master branch, last one 15 days ago

scip scipopt

69

410

other

12

SCIP - Solving Constraint Integer Programs

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

Created 2021-02-26

42,790 commits to master branch, last one 2 days ago

hakank hakank

76

371

mit

46

My public programs and models - mostly combinatorial problems and puzzles

Created 2013-08-06

608 commits to master branch, last one 10 days ago

gecode Gecode

76

284

other

25

Generic Constraint Development Environment

constraint-solver constraint-programming constraint-propagation constraint-satisfaction constrained-optimization constraint-satisfaction-problem

Created 2015-11-06

5,620 commits to master branch, last one 5 years ago

timefold-quickstarts TimefoldAI

81

269

apache-2.0

17

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

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

Created 2023-04-21

492 commits to stable branch, last one 25 days ago

clpz triska

16

189

unknown

11

Constraint Logic Programming over Integers

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

Created 2016-04-17

35 commits to master branch, last one 11 months ago

slothy slothy-optimizer

12

174

other

7

Assembly super-optimization via constraint solving

assembly-language superoptimization cryptography-tools constraint-programming post-quantum-cryptography

Created 2022-10-22

638 commits to main branch, last one 19 hours ago

poker-chipper jstrieb

4

173

unknown

2

Optimally allocate poker chips using constrained, nonlinear optimization

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

Created 2024-02-14

156 commits to master branch, last one 23 days ago

SeaPearl.jl corail-research

10

167

bsd-3-clause

8

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

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

Created 2020-05-13

1,311 commits to master branch, last one about a year ago

kiwi lume

8

161

other

9

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

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

Created 2021-05-23

308 commits to main branch, last one 3 months ago

Decider lifebeyondfife

21

154

mit

13

An Open Source .Net Constraint Programming Solver

c-sharp f-sharp optimisation constraint-solver constraint-programming constraint-satisfaction-problem

Created 2013-06-14

189 commits to main branch, last one about a month ago

minizinc-python MiniZinc

23

151

mpl-2.0

8

Access to all MiniZinc functionality directly from Python

python minizinc sat-solver linear-programming integer-programming optimisation-problem constraint-programming

Created 2020-07-23

504 commits to develop branch, last one 23 days ago

biteopt avaneev

9

148

mit

14

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

optimization meta-heuristic metaheuristics genetic-algorithm optimization-tools global-optimization integer-programming optimization-methods discrete-optimization stochastic-optimizers black-box-optimization constraint-programming differential-evolution evolutionary-algorithms optimization-algorithms mathematical-programming mathematical-optimization mixed-integer-programming hyperparameter-optimization global-optimization-algorithms

Created 2016-07-13

409 commits to master branch, last one 4 months ago

ConstraintSolver.jl Wikunia

14

136

mit

11

ConstraintSolver in Julia: Blog posts ->

julia solver sudoku graph-coloring constraint-solver constraint-programming

Created 2019-09-05

237 commits to master branch, last one 2 years ago

pcp ptal

8

104

apache-2.0

12

Constraint programming in Rust

rust solver constraint-programming

Created 2014-12-18

312 commits to master branch, last one about a year ago

conjure conjure-cp

22

101

other

14

Conjure: The Automated Constraint Modelling Tool

sat modelling constraints constraint-programming combinatorial-optimization

Created 2016-05-03

7,485 commits to main branch, last one about a month ago

linear-programming-course mlabonne

15

97

unknown

4

Hands-on course about linear programming and mathematical optimization.

linear-programming integer-programming constraint-programming mixed-integer-programming integer-linear-programming

Created 2022-04-22

16 commits to main branch, last one about a year ago

Safe-PDP wanxinjin

7

71

mit

3

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.

constraints optimization safe-control safe-planning safety-critical robotics-control constrained-learning constraint-programming non-convex-optimization safety-critical-systems constrained-optimization safety-critical-learning constraint-based-modeling differentiable-programming safe-reinforcement-learning constrained-reinforcement-learning

Created 2021-05-31

10 commits to main branch, last one 2 years ago

pycsp3 xcsp3team

9

63

mit

7

A Python Library for modeling combinatorial constrained problems

xcsp3 pycsp3 python library modeling constraints modeling-tool modeling-language constraint-programming constrained-optimization constraint-based-modeling constraint-satisfaction-problem

Created 2019-12-14

739 commits to master branch, last one about a month ago

diff-SAT MatthiasNickles

4

63

mit

4

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

psat dimacs-cnf sat-solver probability optimization probabilistic satisfiability logic-programming probabilistic-asp weighted-sat-solving answer-set-programming constraint-programming artificial-intelligence multi-models-optimization probabilistic-programming differentiable-programming probabilistic-satisfiability differentiable-satisfiability

Created 2018-10-25

291 commits to master branch, last one 6 months ago

centipede gnboorse

9

61

apache-2.0

3

Constraint Satisfaction Problem Solver for Golang

go csp golang solver solvers heuristic arc-consistency constraint-programming constraint-satisfaction-problem

Created 2018-08-25

46 commits to master branch, last one 2 years ago

BinPacking2D ktnr

9

60

mit

1

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

algorithm branch-and-cut knapsack-problem bin-packing-problem operations-research constraint-programming mathematical-programming mixed-integer-programming

Created 2021-04-07

95 commits to master branch, last one 2 years ago

ddo xgillard

7

59

mit

5

DDO a generic and efficient framework for MDD-based optimization.

ddo decision-diagrams operations-research discrete-optimization constraint-programming constraint-optimisation-problem constraint-satisfaction-problem

Created 2020-02-21

447 commits to master branch, last one 18 days ago

fixpoint bokner

0

56

mit

2

Constraint programming solver

elixir-lang operations-research discrete-optimization constraint-programming

Created 2023-06-09

812 commits to main branch, last one 3 days ago

pymzn paolodragone

15

55

mit

5

A Python wrapper for the MiniZinc tool pipeline.

jinja2 python minizinc constraint-programming

Created 2016-05-26

786 commits to master branch, last one 5 years ago

CNApy cnapy-org

7

47

apache-2.0

3

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, ...

fba fva sbml cobra bioinformatics systems-biology flux-variability metabolic-models metabolic-networks computational-biology flux-balance-analysis metabolic-engineering constraint-programming stoichiometric-modeling metabolic-reconstruction constraint-based-analysis constraint-based-modeling constraint-based-reconstruction

Created 2019-11-15

777 commits to master branch, last one about a month ago

EA-FC-Automated-SBC-Solving Regista6

9

47

mit

7

EA FC 25 Automated SBC Solving using Integer Programming ⚽

ai fifa cp-sat football or-tools optimization soccer-analytics fifa-ultimate-team football-analytics integer-programming constraint-programming

Created 2023-02-12

48 commits to master branch, last one 2 months ago

solverl bokner

7

41

mit

4

Erlang/Elixir interface to MiniZinc.

erlang minizinc elixir-lang optimization-tools discrete-optimization constraint-programming

Created 2020-07-01

350 commits to master branch, last one about a year ago