|
|
Kotlin |
8 |
Pure Kotlin CDCL SAT solver |
Jan 22, 2023 |
|
|
Python |
11 |
Simple SAT solver with CDCL implemented in Python |
Mar 06, 2023 |
|
|
OCaml |
5 |
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml |
Dec 30, 2018 |
|
|
Java |
2 |
CDCL SAT Solver with different Branch Picking and Conflict Analysis implementations |
Jan 03, 2024 |
|
|
Rust |
8 |
A sat solver in rust |
Dec 10, 2022 |
|
|
Rust |
5 |
a toy Rust SAT solver |
Nov 09, 2022 |
|
|
Rust |
2 |
🏔 SAT solver wrappers for Rust |
Oct 24, 2023 |
|
|
Rust |
2 |
Rust bindings for the Kissat SAT Solver |
Oct 23, 2023 |
|
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
|
Rust |
2 |
A DPLL SAT solver written in pure Rust |
Jan 15, 2024 |
|
|
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 |
|
|
Rust |
27 |
A (parametrized) Rust SAT solver originally based on MiniSat |
Mar 02, 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 |
|
|
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 |
|
|
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 |
|
|
Python |
8 |
FOND solver based on SAT |
May 05, 2022 |
|
|
Haskell |
3 |
SAT Solver written in Haskell |
Nov 02, 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 |
|
|
Kotlin |
9 |
🗿 SAT solver wrappers for Kotlin |
Feb 14, 2023 |
|
|
C++ |
2 |
The Glucose SAT Solver (CMake Edition) |
Oct 18, 2021 |
|
|
Go |
23 |
A small SAT solver in Go |
Sep 24, 2021 |
|
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
|
Rust |
515 |
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. |
May 03, 2023 |
|
|
C++ |
2 |
a common C++11 SAT solver interface for different SAT solvers |
Apr 03, 2020 |
|
|
TeX |
3 |
Solving Yajilin problems with a SAT solver |
Aug 30, 2019 |
|
|
C++ |
2 |
A minimalistic and high-performance SAT solver |
Apr 05, 2022 |
|
|
None |
2 |
sat solver in the jai programming language |
Jun 27, 2022 |
|
|
Verilog |
3 |
A reflexive sat & tauto solver in Coq. |
Apr 09, 2015 |