| msoos/cryptominisat |
767 |
|
0 |
2 |
about 2 years ago |
1 |
January 25, 2019 |
3 |
other |
C++ |
| An advanced SAT solver |
| sarsko/CreuSAT |
672 |
|
0 |
0 |
10 months ago |
0 |
|
6 |
mit |
Rust |
| CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. |
| stp/stp |
477 |
|
0 |
0 |
over 2 years ago |
0 |
|
56 |
other |
C++ |
| Simple Theorem Prover, an efficient SMT solver for bitvectors |
| crillab/gophersat |
353 |
|
1 |
17 |
about 2 years ago |
19 |
November 24, 2023 |
8 |
mit |
Go |
| gophersat, a SAT solver in Go |
| SRI-CSL/yices2 |
345 |
|
0 |
0 |
over 2 years ago |
0 |
|
45 |
gpl-3.0 |
SMT |
| The Yices SMT Solver |
| hjwdzh/QuadriFlow |
337 |
|
0 |
0 |
over 6 years ago |
0 |
|
4 |
other |
C++ |
| QuadriFlow: A Scalable and Robust Method for Quadrangulation |
| keiranking/Phil |
260 |
|
0 |
0 |
over 2 years ago |
0 |
|
27 |
apache-2.0 |
JavaScript |
| A crossword maker. |
| jix/varisat |
211 |
|
2 |
5 |
over 3 years ago |
2 |
September 09, 2020 |
23 |
apache-2.0 |
Rust |
| SAT solver written in Rust |
| welchbj/tt |
197 |
|
2 |
1 |
almost 6 years ago |
10 |
May 11, 2020 |
2 |
mit |
Python |
| a Pythonic toolkit for working with Boolean expressions |
| dselsam/neurosat |
154 |
|
0 |
0 |
about 7 years ago |
0 |
|
0 |
apache-2.0 |
Python |
| NeuroSAT: Learning a SAT Solver from Single-Bit Supervision |
