cnfgen
Generate DIMACS CNF formula from operations
cnfgen2
Generate DIMACS CNF formula from operations (second version)
spinsat
A dynamic SAT solver based on digital memcomputing machines
cnf
Distribution-agnostic 'command not found'-handler
ordeal-lrat
Ordeal's LRAT certificate checker — the sole trusted component
ordeal
— a specialized, certificate-checked QF_BV SMT solver for the PulseEngine toolchain
sat-solvers
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
logic-form
representing Cube, Clause, CNF and DNF
mrs-cnf
Clausification and preprocessing for first-order logic formulas
simple_predicates
local configuration management utility
nnf
Negation Normal Form manipulation library
satellite-format
File format parsing and serialization for Satellite
veripb-parser
VeriPB parsing library for OPB, WCNF, and DIMACS CNF formats
flussab-cnf
DIMACS CNF file format parser and writer
ddnnife_cnf
DIMACS CNF implementation
cnf-parser
Efficient and customizable CNF parser for SAT solving
varisat-dimacs
DIMCAS CNF parser and writer for the Varisat SAT solver
boolean-circuit
import, modify and export boolean circuits
exec-sat
Executes SAT solver and parses SAT solver output
cnfpack
Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format
first_order_logic
first-order logic
saguaro
CDCL SAT solver
rusty_grammar
A modified CYK algorithm to work for Language
cnfgen-nand-opt
Generate CNF for circuits
bool2cnf
transfer boolean expression to dimacs directly
autosat
Automatic conversion of functions to CNF for SAT solving
dotecnf
loader for ".ecnf" file such as ".env". ".ecnf" is key-value setting file with key's hierarchy.
satire
An educational SAT solver written in Rust
Try searching with DuckDuckGo.