constraint-solver

There are 12 repositories under constraint-solver topic.

incubator-kie-optaplanner
apache / incubator-kie-optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
artificial-intelligence branch-and-bound constraint-programming constraint-solver constraints employee-rostering java local-search mathematical-optimization metaheuristics optimization rostering scheduling simulated-annealing solver tabu-search traveling-salesman
Language:Java 3299
IjzerenHein / autolayout.js
Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)
cassowary-constraints constraint-solver autolayout layout-engine visual-format-language vfl javascript
Language:JavaScript 1034
timefold-solver
TimefoldAI / timefold-solver
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 planning problems.
ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java maintenance-scheduling metaheuristics operations-research optimization-algorithms planning-algorithms python resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw
Language:Java 853
chocoteam / choco-solver
An open-source Java library for Constraint Programming
constraint-programming solver constraints csp copr constraint-satisfaction-problem java constraint-solver constraint-optimisation-problem
Language:Java 685
inamiy / Cassowary
An incremental linear constraint-solving algorithm (Auto Layout) in Swift.
algorithm auto-layout cassowary constraint-solver dsl linear-programming simplex swift
Language:Swift 498
dylanede / cassowary-rs
A Rust implementation of the Cassowary constraint solving algorithm
rust cassowary linear-programming layout gui constraint-solver
Language:Rust 332
apache / incubator-kie-optaplanner-quickstarts
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
artificial-intelligence constraint-solver gradle java kotlin mathematical-optimization maven operations-research optimization-algorithms quarkus solver spring-boot
Language:Java 319
i-am-tom / holmes
A reference library for constraint-solving with propagators and CDCL.
propagation constraint-solver backtracking logic-programming
Language:Haskell 298
Gecode / gecode
Generic Constraint Development Environment
constraint-satisfaction-problem constraint-programming constraint-propagation constraint-solver constrained-optimization constraint-satisfaction
Language:C++ 271
IjzerenHein / kiwi.js
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
cassowary constraint-solver javascript kiwi typescript autolayout kiwi-solver
Language:JavaScript 249
mc-imperial / jfs
Constraint solver based on coverage-guided fuzzing
constraint-solver coverage-guided-fuzzing floating-point-arithmetic fuzzing jit libfuzzer llvm smtlib smtlibv2 z3
Language:C++ 240
NoteCAD / NoteCAD
Unity3d CAD system with C# Geometric Constraint Solver
cad constraint-solver drafting geometric-constraint-solver inverse-kinematics line line-renderer
Language:C# 166
lifebeyondfife / Decider
An Open Source .Net Constraint Programming Solver
constraint-programming constraint-satisfaction-problem c-sharp optimisation constraint-solver f-sharp
Language:C# 148
lume / kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
cassowary kiwi autolayout autolayout-constraints constraints constraint-layout constraint-programming constraint-solver javascript typescript webassembly assemblyscript
Language:TypeScript 144
ConstraintSolver.jl
Wikunia / ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
constraint-programming constraint-solver graph-coloring julia solver sudoku
Language:Julia 135
tribalworldwidelondon / CassowarySwift
A Swift port of the Cassowary linear constraint solver
cassowary constraint-solver swift
Language:Swift 111
keshavvishwkarma / KVConstraintKit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
autolayout constraints kvconstraintkit auto constraintkit view ios osx carthage dsl layout-guide nslayoutconstraint swift-extensions swift-library constraint layout constraint-solver tvos constraint-extension
Language:Swift 92
obijywk / grilops
a GRId LOgic Puzzle Solver library
puzzle-solver puzzle-generator constraint-solver python python3 sudoku-solver z3 z3py puzzle-hunt
Language:Python 65
informarte / yuck
Yuck is a local-search constraint solver with FlatZinc interface
optimization flatzinc constraint-solver minizinc multi-objective-optimization hierarchical-optimization vehicle-routing
Language:Scala 53
compnerd / cassowary
A Swift implementation of the cassowary simplex solver
constraint-solver swift cassowary
Language:Swift 52
nangege / Cassowary
High performance swift implement of constraint solving algorithm cassowary
cassowary autolayout constraint-solver simplex-algorithm
Language:Swift 49
hoaproject / Praspel
The Hoa\Praspel library.
php hoa library praspel contract-based-testing contract-coverage-criteria specification-language testing constraint-solver realistic-domains
Language:PHP 40
johnwickerson / memalloy
Memory consistency modelling using Alloy
memory-model constraint-solver model-checking c11 powerpc armv7 x86 opencl nvidia-gpus compiler-design
Language:OCaml 28
JuliaConstraints / LocalSearchSolvers.jl
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
constraint-programming constraint-solver local-search
Language:Julia 27
xcsp3team / ACE
Constraint Solver ACE
csp constrained-optimization constraint-programming constraint-satisfaction-problem constraint-solver constraints java optimization solver xcsp3
Language:Java 26
advancedresearch / quickbacktrack
Library for back tracking with customizable search for moves
customizable-search constraint-solver backtracking-search
Language:Rust 23
bsurprised / ShiftScheduler
A boilerplate ASP.NET Core project, including a sample employee shift scheduler app
dotnet-core boilerplate starter-kit clean-architecture n-tier ioc dependency-injection docker angular6 integration-testing constraint-solver
Language:C# 23
emarkou / Large-Scale-Optimization-Vehicle-Routing-Problem
Java Constraint Solvers for Vehicle Routing Problem (VRP)
vrp large-scale-optimizations constraint-solver vehicle-routing-problem tabu-search local-search optimization optimization-algorithms solver
Language:Java 23
JacobStoren / SolveSpaceLib
An insolated version of the constraint solver from SolveSpace: libslvs
geometric-algorithms constraint-solver geometric-constraint-solver
Language:C++ 22
julianthome / smtlibv2-grammar
ANTLR SMT-LIB v2 Grammar
grammar antlr smt constraint-solver
Language:SMT 20
Tw1ddle / haxe-kiwi
:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
kiwi haxe-kiwi constraint-solving-algorithm cassowary constraint-solver haxe haxe-port haxelib
Language:Haxe 19
Salusoft89 / planegcs
A webassembly wrapper for FreeCAD's 2D geometric solver.
constraint-solver constraint-solving freecad solver solver-library typescript webassembly
Language:C++ 17
collins-research / FuzzM
model-based fuzzing solver constraint-solver jkind lustre fuzz
Language:Java 14
hycos / regex2smtlib
A regular expression to SMT-LIB constraint translator
translation smtlibv2 constraint-solver constraints regular-expression
Language:Java 10
mstang107 / noq
Noq is an online logic puzzle solver using Python and clasp!
clasp constraint-solver puzzle-hunt puzzle-solver python3 sudoku-solver
Language:Python 9
lillo42 / cassowary-csharp
A C#implementation of the Cassowary constraint solving algorithm
cassowary cassowary-algorithm constraint-solver csharp layout linear-programming
Language:C# 5