Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers

Negation Normal Form manipulation library

Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'

Boolean SAT Solver implemented using the C++ Standard Library

My first SMT solver (only QF_UF)

An ROBDD & CDCL based SAT solver

ECE 208 Bonus Assignment

A DPLL-based SAT solver focused on traceability

SAT Solver NPM Package written in C++