Search Results - RepositoryStats

940

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

8,995 commits to main branch, last one a day ago

timefold-solver TimefoldAI

60

691

apache-2.0

23

The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and othe...

Created 2023-03-28

9,450 commits to main branch, last one 4 days ago

choco-solver chocoteam

136

675

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

hakank hakank

74

354

mit

44

My public programs and models - mostly combinatorial problems and puzzles

Created 2013-08-06

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

scip scipopt

60

354

other

11

SCIP - Solving Constraint Integer Programs

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

Created 2021-02-26

41,775 commits to master branch, last one 2 days ago

gecode Gecode

73

265

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

clpz triska

14

174

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

SeaPearl.jl corail-research

10

165

bsd-3-clause

9

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

timefold-quickstarts TimefoldAI

47

161

apache-2.0

11

Get started with Timefold quickstarts here. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance sc...

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

485 commits to stable branch, last one 17 days ago

Decider lifebeyondfife

20

148

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

ConstraintSolver.jl Wikunia

13

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

kiwi lume

8

134

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

306 commits to main branch, last one 4 months ago

minizinc-python MiniZinc

19

134

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

490 commits to develop branch, last one 12 days ago

slothy slothy-optimizer

10

132

other

6

Assembly super-optimization via constraint solving

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

Created 2022-10-22

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

feloopy ktafakkori

8

131

mit

4

FelooPy: Efficient & Feature-Rich Integrated Decision Environment

autoor optimization supply-chain decision-science machine-learning linear-programming integer-programming operations-research nonlinear-programming constraint-programming industrial-engineering mixed-integer-programming multi-objective-optimization multi-criteria-decision-making multi-attribute-decision-making

Created 2022-09-13

860 commits to main branch, last one 7 days ago

biteopt avaneev

9

128

other

13

Derivative-Free Global Optimization Method (C++, Python binding)

cma-es nelder-mead optimization meta-heuristic metaheuristics genetic-algorithm optimization-tools optimization-methods stochastic-optimizers constraint-programming differential-evolution evolutionary-algorithms optimization-algorithms mixed-integer-programming hyperparameter-optimization stochastic-optimization-algorithms

Created 2016-07-13

402 commits to master branch, last one 2 months ago

conjure conjure-cp

20

95

other

13

Conjure: The Automated Constraint Modelling Tool

sat modelling constraints constraint-programming combinatorial-optimization

Created 2016-05-03

7,459 commits to main branch, last one 18 days ago

pcp ptal

8

94

apache-2.0

12

Constraint programming in Rust

rust solver constraint-programming

Created 2014-12-18

312 commits to master branch, last one 6 months ago

linear-programming-course mlabonne

15

86

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

Safe-PDP wanxinjin

7

61

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

diff-SAT MatthiasNickles

3

61

mit

4

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

psat dimacs-cnf sat-solver optimization 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

286 commits to master branch, last one 4 months ago

PyCSP3 xcsp3team

8

58

mit

7

A Python Library for modeling combinatorial constrained problems

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

Created 2019-12-14

713 commits to master branch, last one 6 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 4 years ago

centipede gnboorse

9

55

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

ddo xgillard

4

55

mit

3

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

444 commits to master branch, last one 3 months ago

fixpoint bokner

0

48

mit

2

Constraint programming solver

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

Created 2023-06-09

612 commits to main branch, last one 10 days ago

BinPacking2D ktnr

9

48

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

ordered hyperc-ai

3

40

mit

3

Entropy-controlled contexts in Python

ai pddl python modeling ontology planning ai-planners ai-planning state-machine machine-learning planning-algorithms automated-programming programming-paradigms constraint-programming artificial-intelligence constraint-satisfaction-problem

Created 2021-07-26

41 commits to main branch, last one 2 years ago

EA-FC-24-Automated-SBC-Solving Regista6

6

28

mit

6

EA FC 24 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

46 commits to master branch, last one 3 months ago