|
Ruby |
7 |
A pure Ruby SAT solver |
Oct 11, 2017 |
|
Kotlin |
8 |
Pure Kotlin CDCL SAT solver |
Jan 22, 2023 |
|
Rust |
2 |
A DPLL SAT solver written in pure Rust |
Jan 15, 2024 |
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
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 |
85 |
Sudoku solver using backtracking |
Aug 29, 2022 |
|
C |
3 |
Sudoku Solver using Backtracking |
May 14, 2023 |
|
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 |
|
Prolog |
15 |
SAT solver for education |
Feb 26, 2023 |
|
Rust |
8 |
Daniel's Rusty SAT solver |
Nov 03, 2022 |
|
TeX |
3 |
Solving Yajilin problems with a SAT solver |
Aug 30, 2019 |
|
HTML |
2 |
Sudoku solver problem using backtracking |
Aug 13, 2022 |
|
JavaScript |
4 |
Sudoku puzzle solver using backtracking |
Apr 20, 2023 |
|
Vue |
7 |
Visualize sudoku solver using backtracking. |
Mar 08, 2023 |
|
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 |
|
JavaScript |
10 |
Sudoku solver and backtracking visualizer made with ReactJS. |
Jun 23, 2022 |
|
Python |
2 |
Backtracking GUI Sudoku solver - built with kivy framework |
Oct 20, 2022 |
|
C++ |
5 |
A LSIDS-Power SAT solver |
Feb 26, 2022 |
|
C |
2 |
PicoSAT SAT Solver Python Wrapper |
Oct 19, 2021 |
|
Haskell |
3 |
Toy level SAT solver example |
Apr 12, 2021 |
|
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 |
|
OCaml |
91 |
A modular sat/smt solver with proof output. |
Oct 23, 2022 |
|
Python |
11 |
Simple SAT solver with CDCL implemented in Python |
Mar 06, 2023 |
|
C++ |
5 |
Sudoku Solver using BackTracking & CSP with Python and Qt |
Aug 17, 2022 |
|
C |
2 |
sodoku solver using recursive function - backtracking |
Apr 28, 2022 |
|
HTML |
4 |
A backtracking Sudoku solver in Javascript |
Nov 12, 2022 |
|
C++ |
4 |
Sudoku solver in cpp using backtracking. |
Mar 08, 2023 |
|
Python |
6 |
This is classic Sudoku and Sudoku Solver with backtracking algorithm |
Aug 30, 2022 |
|
C++ |
14 |
Sudoku Solver using BackTracking & CSP with C++, Python and C# |
Aug 17, 2022 |
|
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 |
|
Python |
4 |
SAT solver using the DPLL algorithm |
Jan 26, 2023 |
|
Python |
5 |
Proof-generated, BDD-based SAT solver |
Jan 28, 2023 |
|
Roff |
14 |
code for privacy-preserving sat solver |
May 10, 2023 |
|
C++ |
13 |
CTL (Computation Tree Logic) SAT solver |
Aug 16, 2022 |