A numerical constraint satisfaction problem (NCSP) solver using hull consistency and a branch-and-prune algorithm.
-
Updated
May 9, 2016 - TeX
A numerical constraint satisfaction problem (NCSP) solver using hull consistency and a branch-and-prune algorithm.
Sudoku solver using constraint method and backtracking
The Hoa\Praspel library.
Proof of concept for solving a course scheduling CSP
An incremental linear constraint-solving algorithm (Auto Layout) in Swift.
A collection of Artelys Kalis examples with Jupyter Notebook
Constraint Logic Programming for Haskell
A boilerplate ASP.NET Core project, including a sample employee shift scheduler app
Using the OR-Tools optimization suite to beat the Skyscraper game
An insolated version of the constraint solver from SolveSpace: libslvs
A regular expression to SMT-LIB constraint translator
A Swift port of the Cassowary linear constraint solver
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
Simplex solver for linear programming
Add a description, image, and links to the constraint-solver topic page so that developers can more easily learn about it.
To associate your repository with the constraint-solver topic, visit your repo's landing page and select "manage topics."