Search Results - RepositoryStats

948

3.3k

apache-2.0

170

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,014 commits to main branch, last one 14 days ago

timefold-solver TimefoldAI

87

984

apache-2.0

27

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,651 commits to main branch, last one 17 hours ago

choco-solver chocoteam

139

689

bsd-4-clause

49

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,332 commits to master branch, last one 25 days ago

scip scipopt

64

403

other

12

SCIP - Solving Constraint Integer Programs

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

Created 2021-02-26

42,546 commits to master branch, last one a day ago

hakank hakank

76

368

mit

45

My public programs and models - mostly combinatorial problems and puzzles

Created 2013-08-06

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

gecode Gecode

76

283

other

24

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

76

238

apache-2.0

14

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

490 commits to stable branch, last one 29 days ago

clpz triska

15

184

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 9 months 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

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

SeaPearl.jl corail-research

10

168

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

slothy slothy-optimizer

10

165

other

7

Assembly super-optimization via constraint solving

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

Created 2022-10-22

516 commits to main branch, last one a day ago

kiwi lume

8

155

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 about a month ago

minizinc-python MiniZinc

22

150

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

497 commits to develop branch, last one 10 days ago

Decider lifebeyondfife

21

150

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

184 commits to main branch, last one 8 months ago

biteopt avaneev

9

145

mit

13

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 2 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

102

apache-2.0

12

Constraint programming in Rust

rust solver constraint-programming

Created 2014-12-18

312 commits to master branch, last one 11 months ago

conjure conjure-cp

22

96

other

13

Conjure: The Automated Constraint Modelling Tool

sat modelling constraints constraint-programming combinatorial-optimization

Created 2016-05-03

7,481 commits to main branch, last one 9 days ago

linear-programming-course mlabonne

15

94

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

70

mit

2

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

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 4 months ago

pycsp3 xcsp3team

9

61

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

736 commits to master branch, last one 25 days ago

ddo xgillard

6

58

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

445 commits to master branch, last one 2 months ago

centipede gnboorse

9

58

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

56

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

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

fixpoint bokner

0

52

mit

2

Constraint programming solver

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

Created 2023-06-09

770 commits to main branch, last one a day 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 10 days ago

CNApy cnapy-org

7

46

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

774 commits to master branch, last one 29 days 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 11 months ago