8000
-
lingeling-cmake Public
Forked from arminbiere/lingelingLingeling SAT Solver fork with CMake build
C MIT License UpdatedApr 13, 2024 -
PyCSCL Public
A lightweight CNF SAT constraint encoder library
-
-
-
IncrementalMonkey Public
A random testing tool for IPASIR SAT solvers
-
cryptominisat Public
Forked from msoos/cryptominisatAn advanced SAT solver
C++ Other UpdatedAug 30, 2020 -
JamSAT Public
A fast, clean IPASIR SAT solver
-
drat-trim Public
Forked from marijnheule/drat-trimThe DRAT-trim proof checker
C MIT License UpdatedJun 5, 2020 -
NiceMake Public
A collection of commonly useful CMake functions for C and C++ projects
-
-
-
minisat Public
Forked from stp/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedMay 18, 2018 -
-
state_ptr Public
Forked from Robbepop/state_ptrA C++ pointer type with storage space for information filling.
C++ MIT License UpdatedAug 11, 2017 -
candy-kingdom Public
A friendly branch of Glucose 3 (taken from http://www.labri.fr/perso/lsimon/glucose/)