Search Results - RepositoryStats

953

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

9,019 commits to main branch, last one 25 days ago

timefold-solver TimefoldAI

96

1.1k

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

autolayout.js IjzerenHein

62

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

choco-solver chocoteam

145

694

bsd-4-clause

48

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

incubator-kie-optaplanner-quickstarts apache

158

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

holmes i-am-tom

14

304

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

76

283

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

jfs mc-imperial

20

240

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

NoteCAD NoteCAD

51

181

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

kiwi lume

8

161

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

Decider lifebeyondfife

21

152

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

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

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

cassowary compnerd

9

53

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

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

planegcs Salusoft89

9

32

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

nucs yangeorget

0

27

mit

1

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

csp numba numpy python solver python-3 constraints optimization python-library branch-and-bound constraint-solver operational-research constraint-programming constraint-optimisation-problem constraint-satisfaction-problem

Created 2024-04-22

576 commits to main branch, last one 9 hours ago