Stars
2
Forks
1
Language
Lua
Last Updated
May 08, 2022
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Lua | 34 | A Lua port of the cassowary constraint solver engine | Mar 24, 2022 | |
| TypeScript | 37 | Geometric Constraint Solver | Apr 26, 2023 | |
| Java | 14 | Constraint Solver ACE | Apr 04, 2023 | |
| Java | 3 | Demo OptaPlanner constraint solver | Mar 30, 2022 | |
| Elixir | 33 | A configurable constraint solver | Aug 16, 2022 | |
| Rust | 40 | Constraint solver for word games. | Aug 07, 2022 | |
| Java | 2 | Search-based OCL constraint solver | May 15, 2019 | |
| Python | 2 | Distributed Constraint Optimization Problems Solver | Jan 17, 2024 | |
| Haskell | 2 | SHErrLoc constraint solver and error localizer | Apr 25, 2023 | |
| C# | 2 | An incremental constraint solver for .NET | Mar 08, 2022 | |
| Zig | 2 | A cassowary constraint solver in zig | Oct 28, 2021 | |
| Scala | 3 | A Toy Constraint Solver in Scala | Apr 04, 2021 | |
| OCaml | 9 | Constraint solver based on abstract interpretation | Mar 11, 2023 | |
| Python | 3 | A sudoku solver,using constraint programming | Feb 09, 2020 | |
| Python | 9 | Multiset Constraint Solver for Multi-SAT | Mar 19, 2021 | |
| Lua | 4 | a lua constraint satisfaction framework | Nov 12, 2018 | |
| SMT | 4 | A constraint solver abstraction layer for Java | Jul 20, 2022 | |
| Java | 4 | Sudoku solver using various Constraint Satisfaction heuristics | Jul 10, 2020 | |
| C++ | 3 | Racket bindings for the Rhea constraint solver | Mar 20, 2017 | |
| C++ | 17 | Demo for the Simple 2D Constraint Solver. | Aug 11, 2022 | |
| Ruby | 56 | Ruby bindings for Z3 constraint solver library | Dec 15, 2022 | |
| C++ | 5 | A constraint solver purely on GPUs (CUDA) | Feb 17, 2023 | |
| Swift | 11 | Swift implementation of Peter Norvig's constraint based solver. | Feb 24, 2022 | |
| QML | 52 | Use the Cassowary constraint solver in QML applications | Aug 19, 2022 | |
| C++ | 35 | JIGSAW is a fuzzing-based path constraint solver. | Jun 07, 2022 | |
| Python | 2 | A Scalable Sudoku and Constraint Satisfaction Problem Solver | Mar 14, 2018 | |
| Haskell | 4 | An inductive form set constraint solver in Haskell | Apr 01, 2021 | |
| Prolog | 6 | Constraint solver for nonlinear (polynomial) constraints over reals | May 05, 2020 | |
| C# | 138 | Unity3d CAD system with C# Geometric Constraint Solver | Apr 17, 2023 | |
| Python | 2 | A constraint-based solver for TVM Relay (WIP) | Dec 19, 2022 | |
| Julia | 5 | Wrapper for the constraint-programming solver Chuffed to Julia | May 24, 2022 | |
| Java | 5 | A distributed Sudoko solver via constraint propagation over TCP | May 10, 2020 | |
| Haskell | 10 | A constraint solver for finite domains, written in Haskell. | Nov 10, 2022 | |
| Scala | 8 | A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … | Oct 05, 2020 | |
| Rust | 5 | An undirected graph constraint solver for node and edge colors | Nov 09, 2021 | |
| Scala | 111 | DSL in Scala for Constraint Solving with Z3 SMT Solver | Apr 19, 2023 | |
| Java | 21 | A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking | Mar 23, 2020 | |
| Java | 43 | Kiwi is a minimalist and extendable Constraint Programming (CP) solver. | Jul 26, 2022 | |
| Java | 51 | Local-search based solver of Constraint Satisfaction and Optimization Problems | Feb 11, 2023 | |
| C++ | 4 | Static and dynamic geometry processing with constraint solver, MPL2 licensed. | Nov 05, 2022 | |
| JavaScript | 19 | a constraint solver based on kiwi.js with better API ergonomics | Aug 10, 2022 | |
| Rust | 35 | ⏱️ A fast sudoku solver using constraint propagation in combination with backtracking. | Aug 20, 2022 | |
| Haskell | 66 | Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc. | Jul 21, 2022 | |
| Rust | 6 | A fast lean and clean modern constraint programming solver implementation (in rust) | Mar 10, 2023 | |
| Julia | 139 | Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. | May 03, 2023 | |
| Haxe | 3 | :bird: Demo of a Haxe port of the Kiwi linear constraint solver | Dec 12, 2021 | |
| Python | 4 | Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python | Jun 18, 2022 | |
| Julia | 8 | A Julia port of the Rhea C++ implementation of the Cassowary constraint solver | Sep 13, 2021 | |
| HTML | 2 | CoSaTa: A Constraint Satisfaction Solver and Interpreted Language For Semi-Structured Tables of Sentences | Feb 03, 2022 | |
| Python | 85 | Constraint Programming and Modeling library in Python, based on numpy, with direct solver access. | Jun 30, 2022 |