Search Results - RepositoryStats

957

3.4k

apache-2.0

168

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

timefold-solver TimefoldAI

120

1.3k

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

choco-solver chocoteam

147

715

bsd-4-clause

47

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,582 commits to master branch, last one about a month ago

scip scipopt

73

443

apache-2.0

13

SCIP - Solving Constraint Integer Programs

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

Created 2021-02-26

45,390 commits to master branch, last one a day ago

hakank hakank

76

375

mit

45

My public programs and models - mostly combinatorial problems and puzzles

Created 2013-08-06

608 commits to master branch, last one 3 months ago

timefold-quickstarts TimefoldAI

97

348

apache-2.0

20

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

498 commits to stable branch, last one 5 days ago

gecode Gecode

77

288

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 6 years ago

clpz triska

16

196

unknown

10

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

slothy slothy-optimizer

18

187

other

8

Assembly super-optimization via constraint solving

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

Created 2022-10-22

765 commits to main branch, last one 3 days 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 4 months ago

SeaPearl.jl corail-research

10

168

bsd-3-clause

6

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

9

164

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

Decider lifebeyondfife

24

158

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

minizinc-python MiniZinc

27

158

mpl-2.0

7

Access to all MiniZinc functionality directly from Python

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

Created 2020-07-23

513 commits to develop branch, last one about a month ago

biteopt avaneev

9

150

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

410 commits to master branch, last one 2 months ago

ConstraintSolver.jl Wikunia

14

137

mit

10

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

pcp ptal

8

105

apache-2.0

11

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

103

other

11

Conjure: The Automated Constraint Modelling Tool

sat modelling constraints constraint-programming combinatorial-optimization

Created 2016-05-03

7,506 commits to main branch, last one 6 days 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

8

70

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

66

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

750 commits to master branch, last one 5 days ago

centipede gnboorse

9

64

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

diff-SAT MatthiasNickles

3

64

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

BinPacking2D ktnr

9

64

mit

2

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

62

mit

4

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

fixpoint bokner

0

59

mit

2

Constraint programming solver

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

Created 2023-06-09

861 commits to main branch, last one 2 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

8

54

apache-2.0

2

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