There are 10 repositories under constraint-solver topic.
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)
An open-source Java library for Constraint Programming
The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems
A Rust implementation of the Cassowary constraint solving algorithm
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Fast TypeScript implementation of the Cassowary constraint solving algorithm đź––
Constraint solver based on coverage-guided fuzzing
An Open Source .Net Constraint Programming Solver
ConstraintSolver in Julia: Blog posts ->
A Swift port of the Cassowary linear constraint solver
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
Yuck is a local-search constraint solver with FlatZinc interface
The Hoa\Praspel library.
Memory consistency modelling using Alloy
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Java Constraint Solvers for Vehicle Routing Problem (VRP)
Library for back tracking with customizable search for moves
A boilerplate ASP.NET Core project, including a sample employee shift scheduler app
An insolated version of the constraint solver from SolveSpace: libslvs
A webassembly wrapper for FreeCAD's 2D geometric solver.
A regular expression to SMT-LIB constraint translator
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.