|
Python |
4 |
SAT solver using the DPLL algorithm |
Jan 26, 2023 |
|
Haskell |
2 |
A DPLL SAT solver written in Haskell |
Dec 05, 2019 |
|
Rust |
2 |
A DPLL SAT solver written in pure Rust |
Jan 15, 2024 |
|
Racket |
8 |
A simple SAT solver based on DPLL written in Racket. |
Mar 16, 2023 |
|
OCaml |
3 |
Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause … |
May 07, 2023 |
|
Python |
4 |
implementing DPLL Algorithm |
Oct 16, 2021 |
|
OCaml |
18 |
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the … |
Aug 29, 2022 |
|
Java |
2 |
implementation of DPLL Algorithm |
Jun 01, 2019 |
|
Verilog |
4 |
Skywater 130nm LDO parts and DPLL |
May 03, 2022 |
|
JavaScript |
2 |
Demonstration of DPLL + backjumping (learning clauses) |
Mar 20, 2022 |
|
C# |
9 |
DPLL boolean satisfiability solver for .NET |
Mar 31, 2023 |
|
Shell |
3 |
SAT Documentation |
Feb 15, 2023 |
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
JavaScript |
3 |
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/) |
Jun 16, 2020 |
|
Python |
2 |
изготовление pdf карт из Google sat, Yandex sat, Openstreetmaps |
Sep 23, 2019 |
|
Haskell |
8 |
Brainfuck 2 SAT |
Jan 28, 2023 |
|
Shell |
2 |
SAT Product Stream |
Feb 15, 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 |
|
Jupyter Notebook |
3 |
SAT and SMT |
Jun 27, 2022 |
|
OCaml |
2 |
A SAT solver |
Nov 03, 2018 |
|
Haskell |
4 |
A SAT Solver |
May 02, 2022 |
|
C++ |
2 |
a common C++11 SAT solver interface for different SAT solvers |
Apr 03, 2020 |
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
Rust |
3 |
SAT solving with Rust |
Nov 30, 2020 |
|
None |
23 |
Catálogos CFDI del SAT |
Aug 19, 2022 |
|
Go |
136 |
A fast SAT solver |
Jun 10, 2022 |
|
Haskell |
5 |
SAT tutorial exercise code |
Dec 05, 2019 |
|
None |
3 |
default SAT Channel Settings |
May 07, 2018 |
|
None |
3 |
default SAT Channel Settings |
Apr 27, 2023 |
|
C++ |
703 |
An advanced SAT solver |
May 03, 2023 |
|
C |
3 |
lingeling-ala SAT solver |
Jul 09, 2020 |
|
PHP |
7 |
SAT plugin for FacturaScripts |
Mar 05, 2023 |
|
Prolog |
15 |
SAT solver for education |
Feb 26, 2023 |
|
C# |
15 |
SAT-CF-e - C# |
Sep 19, 2022 |
|
Pascal |
13 |
SAT-CF-e - Delphi |
May 27, 2023 |
|
Java |
11 |
SAT-CF-e - Java |
May 09, 2023 |
|
Pascal |
8 |
SAT-CF-e - Lazarus |
May 27, 2023 |
|
Rust |
8 |
Daniel's Rusty SAT solver |
Nov 03, 2022 |
|
Julia |
3 |
silly sat related things |
Apr 14, 2022 |
|
None |
2 |
SAT and SMT solving. |
Dec 27, 2023 |
|
Python |
4 |
An SAT-based Minesweeper agent. |
Jun 04, 2022 |
|
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 |
|
C |
2 |
Linux 2.6 with SAT configuration |
Mar 29, 2021 |