17 results found Sort:

apache
incubator-kie-optaplanner apache
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
IjzerenHein
autolayout.js IjzerenHein
63
1.0k
mit
27
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 2 years ago
TimefoldAI
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...
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,651 commits to main branch, last one 17 hours ago
chocoteam
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
apache
incubator-kie-optaplanner-quickstarts apache
157
325
apache-2.0
49
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
14
302
mit
13
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 about a year ago
Gecode
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
mc-imperial
jfs mc-imperial
20
239
mit
17
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 11 months ago
NoteCAD
NoteCAD NoteCAD
49
176
gpl-3.0
17
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
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
lifebeyondfife
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
Wikunia
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
obijywk
grilops obijywk
6
69
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 11 months ago
informarte
yuck informarte
11
56
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 9 months ago
compnerd
cassowary compnerd
8
52
bsd-3-clause
4
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
7
50
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 26 days ago
Salusoft89
planegcs Salusoft89
9
25
lgpl-2.1
7
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 2 months ago