17 results found Sort:

apache
incubator-kie-optaplanner apache
958
3.4k
apache-2.0
167
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,024 commits to main branch, last one 3 days ago
TimefoldAI
timefold-solver TimefoldAI
113
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...
ai vrp cvrp java vrptw kotlin python solver solver-library vehicle-routing constraint-solver employee-scheduling operations-research planning-algorithms resource-allocation constraint-programming maintenance-scheduling artificial-intelligence optimization-algorithms vehicle-routing-problem
Created 2023-03-28
9,818 commits to main branch, last one a day ago
IjzerenHein
autolayout.js IjzerenHein
63
1.0k
mit
26
Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)
vfl autolayout javascript layout-engine constraint-solver cassowary-constraints visual-format-language
This repository has been archived (exclude archived)
Created 2015-06-04
173 commits to master branch, last one 3 years ago
chocoteam
choco-solver chocoteam
147
712
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
apache
incubator-kie-optaplanner-quickstarts apache
160
327
apache-2.0
47
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
java maven gradle kotlin solver quarkus spring-boot constraint-solver operations-research artificial-intelligence optimization-algorithms mathematical-optimization
Created 2020-08-19
431 commits to stable branch, last one about a year ago
i-am-tom
holmes i-am-tom
16
305
mit
12
A reference library for constraint-solving with propagators and CDCL.
propagation backtracking constraint-solver logic-programming
Created 2019-11-24
47 commits to master branch, last one 2 years ago
Gecode
gecode Gecode
77
287
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
mc-imperial
jfs mc-imperial
20
243
mit
16
Constraint solver based on coverage-guided fuzzing
z3 jit llvm smtlib fuzzing smtlibv2 libfuzzer constraint-solver coverage-guided-fuzzing floating-point-arithmetic
Created 2017-11-21
513 commits to master branch, last one about a year ago
NoteCAD
NoteCAD NoteCAD
51
184
gpl-3.0
16
Unity3d CAD system with C# Geometric Constraint Solver
cad line drafting line-renderer constraint-solver inverse-kinematics geometric-constraint-solver
Created 2018-09-19
85 commits to master branch, last one about a year ago
lume
kiwi lume
8
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
lifebeyondfife
Decider lifebeyondfife
23
157
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 4 months ago
Wikunia
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 2 years ago
obijywk
grilops obijywk
6
72
mit
9
a GRId LOgic Puzzle Solver library
z3 z3py python python3 puzzle-hunt puzzle-solver sudoku-solver puzzle-generator constraint-solver
Created 2019-03-09
200 commits to master branch, last one about a year ago
informarte
yuck informarte
11
57
other
6
Yuck is a local-search constraint solver with FlatZinc interface
flatzinc minizinc optimization vehicle-routing constraint-solver hierarchical-optimization multi-objective-optimization
Created 2016-06-19
528 commits to master branch, last one about a year ago
compnerd
cassowary compnerd
9
54
bsd-3-clause
3
A Swift implementation of the cassowary simplex solver
swift cassowary constraint-solver
Created 2019-07-05
33 commits to main branch, last one about a year ago
nangege
Cassowary nangege
5
52
mit
1
High performance swift implement of constraint solving algorithm cassowary
cassowary autolayout constraint-solver simplex-algorithm
Created 2018-09-17
31 commits to master branch, last one 5 months ago
Salusoft89
planegcs Salusoft89
9
38
lgpl-2.1
8
A webassembly wrapper for FreeCAD's 2D geometric solver.
solver freecad typescript webassembly solver-library constraint-solver constraint-solving
Created 2023-03-23
308 commits to main branch, last one 6 months ago