|
|
C++ |
2 |
A minimalistic and high-performance SAT solver |
Apr 05, 2022 |
|
|
C++ |
19 |
A minimalistic and high-performance SAT solver |
Jul 23, 2022 |
|
|
Python |
4 |
SAT solver |
Aug 15, 2022 |
|
|
C++ |
29 |
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat … |
Apr 24, 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 |
|
|
Fortran |
27 |
POT3D: High Performance Potential Field Solver |
May 01, 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++ |
470 |
High performance OpenGL fluid solver in C++ |
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 |
|
|
C |
4 |
COMS30005 - Introduction to High Performance Computing - Jacobi solver |
Dec 01, 2020 |
|
|
Go |
603 |
🔘 Minimalistic and High-performance goroutine worker pool written in Go |
Aug 20, 2022 |
|
|
Haskell |
2 |
Naive and slow SAT solver implemented in Haskell |
Jun 02, 2022 |
|
|
Go |
4 |
Simple sudoku solver and unique-solution sudoku generator using gini sat solver |
Nov 17, 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 |
|
|
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 |
2 |
🏔 SAT solver wrappers for Rust |
Oct 24, 2023 |
|
|
C++ |
2 |
a common C++11 SAT solver interface for different SAT solvers |
Apr 03, 2020 |
|
|
C++ |
9 |
Distributed and ressource elastic cube-and-conquer SAT & QBF solver |
Jun 27, 2022 |
|
|
TeX |
3 |
Solving Yajilin problems with a SAT solver |
Aug 30, 2019 |