|
Prolog |
140 |
Constraint Logic Programming over Finite Domains |
Nov 23, 2022 |
|
Haskell |
4 |
An inductive form set constraint solver in Haskell |
Apr 01, 2021 |
|
Haskell |
3 |
SAT Solver written in Haskell |
Nov 02, 2022 |
|
TypeScript |
37 |
Geometric Constraint Solver |
Apr 26, 2023 |
|
Java |
14 |
Constraint Solver ACE |
Apr 04, 2023 |
|
Haskell |
33 |
A SAT solver written in Haskell. |
Mar 01, 2022 |
|
Haskell |
2 |
Toy SMT solver written in Haskell |
Jan 13, 2024 |
|
Rust |
40 |
Constraint solver for word games. |
Aug 07, 2022 |
|
Java |
3 |
Demo OptaPlanner constraint solver |
Mar 30, 2022 |
|
Elixir |
33 |
A configurable constraint solver |
Aug 16, 2022 |
|
Haskell |
4 |
A Sudoku puzzle solver written in Haskell. |
Aug 13, 2019 |
|
Haskell |
2 |
A DPLL SAT solver written in Haskell |
Dec 05, 2019 |
|
Haskell |
3 |
Constraint Logic Programming for Haskell |
Mar 30, 2021 |
|
C# |
2 |
An incremental constraint solver for .NET |
Mar 08, 2022 |
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
Lua |
2 |
A Constraint Solver in Lua |
May 08, 2022 |
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
Python |
2 |
Distributed Constraint Optimization Problems Solver |
Jan 17, 2024 |
|
Python |
363 |
FiPy is a Finite Volume PDE solver written in Python |
Jul 14, 2022 |
|
Common Lisp |
2 |
simple finite element solver |
Jan 18, 2014 |
|
Python |
2 |
Finite temperature ed solver |
Jun 11, 2020 |
|
SMT |
4 |
A constraint solver abstraction layer for Java |
Jul 20, 2022 |
|
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 |
|
HTML |
2 |
A Sudoku solver written in (hopefully) modern style Haskell |
Oct 17, 2019 |
|
Haskell |
2 |
SHErrLoc constraint solver and error localizer |
Apr 25, 2023 |
|
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 |
|
JavaScript |
60 |
Finite domain constraint programming library in JS |
Jan 12, 2023 |
|
Prolog |
6 |
Constraint solver for nonlinear (polynomial) constraints over reals |
May 05, 2020 |
|
Python |
2 |
A constraint-based solver for TVM Relay (WIP) |
Dec 19, 2022 |
|
Haskell |
2 |
Finite State Machine lib for haskell |
Jul 16, 2020 |
|
C |
16 |
Haskell bindings for PicoSAT solver |
Jul 07, 2022 |
|
C++ |
2 |
finite volume solver for radiative transfer equation |
Jan 03, 2022 |
|
C++ |
2 |
Finite volume solver for the Euler equations |
Oct 06, 2021 |
|
Haskell |
4 |
A Sudoku Solver using MAC+MRV algorithm written in Haskell |
Apr 27, 2017 |
|
C++ |
12 |
A coupled structural solver written with the C++ finite element library deal.II |
Apr 21, 2022 |
|
Java |
4 |
Sudoku solver using various Constraint Satisfaction heuristics |
Jul 10, 2020 |
|
C++ |
5 |
A constraint solver purely on GPUs (CUDA) |
Feb 17, 2023 |
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |
|
Haskell |
41 |
sudoku solver in haskell |
Aug 09, 2022 |
|
Haskell |
2 |
lefants haskell sudoku solver |
May 30, 2014 |
|
C |
14 |
Fino, a free finite element solver |
Dec 17, 2022 |
|
Haskell |
8 |
Haskell package for finite discrete probability distributions. |
Jan 05, 2022 |
|
Haskell |
4 |
Subset sum problem solver for haskell |
Oct 09, 2022 |
|
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 |