constraint-solver
There are 78 repositories under constraint-solver topic.
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.
IjzerenHein/autolayout.js
Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)
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.
chocoteam/choco-solver
An open-source Java library for Constraint Programming
inamiy/Cassowary
An incremental linear constraint-solving algorithm (Auto Layout) in Swift.
dylanede/cassowary-rs
A Rust implementation of the Cassowary constraint solving algorithm
apache/incubator-kie-optaplanner-quickstarts
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
Gecode/gecode
Generic Constraint Development Environment
IjzerenHein/kiwi.js
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
mc-imperial/jfs
Constraint solver based on coverage-guided fuzzing
NoteCAD/NoteCAD
Unity3d CAD system with C# Geometric Constraint Solver
lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
tribalworldwidelondon/CassowarySwift
A Swift port of the Cassowary linear constraint solver
keshavvishwkarma/KVConstraintKit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
obijywk/grilops
a GRId LOgic Puzzle Solver library
informarte/yuck
Yuck is a local-search constraint solver with FlatZinc interface
compnerd/cassowary
A Swift implementation of the cassowary simplex solver
nangege/Cassowary
High performance swift implement of constraint solving algorithm cassowary
hoaproject/Praspel
The Hoa\Praspel library.
johnwickerson/memalloy
Memory consistency modelling using Alloy
JuliaConstraints/LocalSearchSolvers.jl
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
xcsp3team/ACE
Constraint Solver ACE
bsurprised/ShiftScheduler
A boilerplate ASP.NET Core project, including a sample employee shift scheduler app
emarkou/Large-Scale-Optimization-Vehicle-Routing-Problem
Java Constraint Solvers for Vehicle Routing Problem (VRP)
JacobStoren/SolveSpaceLib
An insolated version of the constraint solver from SolveSpace: libslvs
advancedresearch/quickbacktrack
Library for back tracking with customizable search for moves
Salusoft89/planegcs
A webassembly wrapper for FreeCAD's 2D geometric solver.
julianthome/smtlibv2-grammar
ANTLR SMT-LIB v2 Grammar
Tw1ddle/haxe-kiwi
:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
hycos/regex2smtlib
A regular expression to SMT-LIB constraint translator
mstang107/noq
Noq is an online logic puzzle solver using Python and clasp!
lillo42/cassowary-csharp
A C#implementation of the Cassowary constraint solving algorithm