|
OCaml |
4 |
A small repo to test and benchmark different sat solvers |
Oct 19, 2021 |
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
Prolog |
15 |
SAT solver for education |
Feb 26, 2023 |
|
Rust |
2 |
A benchmark suit for SAT solvers |
Jan 15, 2023 |
|
Haskell |
3 |
A simple Sudoku solver that I've done to experiment with SAT/SMT solvers. |
May 17, 2022 |
|
Java |
9 |
Constructing automata with SAT solvers |
Aug 02, 2022 |
|
Python |
3 |
Solving Nonograms with SAT solvers |
Apr 18, 2023 |
|
C++ |
2 |
CaDiCaL SAT Solver |
Jan 06, 2023 |
|
C++ |
8 |
Riss SAT Solver |
Jan 10, 2023 |
|
C++ |
216 |
CaDiCaL SAT Solver |
Apr 28, 2023 |
|
C |
80 |
Lingeling SAT Solver |
Apr 30, 2023 |
|
C |
77 |
SAT Solver SATCH |
Mar 31, 2023 |
|
C++ |
2 |
Simple SAT solver |
Nov 04, 2020 |
|
OCaml |
2 |
A SAT solver |
Nov 03, 2018 |
|
Haskell |
4 |
A SAT Solver |
May 02, 2022 |
|
Python |
3 |
Finding Efficient Circuits Using SAT-solvers |
Aug 18, 2021 |
|
Python |
6 |
Benchmarking end-to-end SAT solvers. |
Mar 03, 2023 |
|
Rust |
2 |
Solving Sudoku variants with SAT solvers |
May 01, 2024 |
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
Go |
136 |
A fast SAT solver |
Jun 10, 2022 |
|
C++ |
703 |
An advanced SAT solver |
May 03, 2023 |
|
C |
3 |
lingeling-ala SAT solver |
Jul 09, 2020 |
|
Rust |
8 |
Daniel's Rusty SAT solver |
Nov 03, 2022 |
|
Java |
2 |
CDCL SAT Solver with different Branch Picking and Conflict Analysis implementations |
Jan 03, 2024 |
|
Java |
6 |
A SAT-solver based Sudoku puzzle solver. |
Mar 05, 2022 |
|
JavaScript |
3 |
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/) |
Jun 16, 2020 |
|
Haskell |
57 |
A monad for interfacing with external SAT solvers |
Nov 16, 2021 |
|
Roff |
14 |
code for privacy-preserving sat solver |
May 10, 2023 |
|
Kotlin |
9 |
🗿 SAT solver wrappers for Kotlin |
Feb 14, 2023 |
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
Rust |
2 |
🏔 SAT solver wrappers for Rust |
Oct 24, 2023 |
|
Julia |
11 |
Fast and simple nonlinear solvers for the SciML common interface |
Nov 24, 2022 |
|
Agda |
3 |
A collection of simple verified SAT-solvers |
Mar 14, 2022 |
|
OCaml |
138 |
Communication between Coq and SAT/SMT solvers |
May 19, 2023 |
|
Python |
293 |
Enhancing the Factorio experience with SAT solvers |
May 23, 2023 |
|
C++ |
5 |
A LSIDS-Power SAT solver |
Feb 26, 2022 |
|
Ruby |
7 |
A pure Ruby SAT solver |
Oct 11, 2017 |
|
C |
2 |
PicoSAT SAT Solver Python Wrapper |
Oct 19, 2021 |
|
Haskell |
3 |
Toy level SAT solver example |
Apr 12, 2021 |
|
Kotlin |
8 |
Pure Kotlin CDCL SAT solver |
Jan 22, 2023 |
|
Rust |
8 |
A sat solver in rust |
Dec 10, 2022 |
|
Python |
8 |
FOND solver based on SAT |
May 05, 2022 |
|
Haskell |
3 |
SAT Solver written in Haskell |
Nov 02, 2022 |
|
Rust |
5 |
a toy Rust SAT solver |
Nov 09, 2022 |
|
Python |
5 |
Build logical theories for SAT solvers on the fly |
Dec 29, 2022 |
|
Rust |
2 |
Rust bindings for the Kissat SAT Solver |
Oct 23, 2023 |
|
Julia |
4 |
A common interface for different laser types |
Nov 26, 2021 |
|
C++ |
3 |
SAT solver based on tableaux method |
Jul 13, 2020 |
|
Haskell |
33 |
A SAT solver written in Haskell. |
Mar 01, 2022 |
|
Go |
127 |
SAT solver written in Go (golang). |
May 12, 2022 |