Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
-
Updated
Feb 25, 2020 - Python
#
tseitin-transformation
Here are 11 public repositories matching this topic...
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
java simplex logic linear-programming bitvector satisfiability-modulo-theories non-linear sat-solver smt-solver lia branch-and-bound dpll non-linear-optimization eq tseitin-transformation linear-integer-programming cdcl nra cylindrical-algebraic-decomposition equf
-
Updated
Feb 9, 2025 - Java
A Hashiwokakero Solver using PySAT, DPLL, A* and Brute-force with friendly CLI tools for solving and doing benchmark
-
Updated
Apr 5, 2025 - Python
An ROBDD & CDCL based SAT solver
-
Updated
Dec 11, 2021 - Go
Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'
-
Updated
Dec 20, 2020 - Python
Boolean SAT Solver implemented using the C++ Standard Library
-
Updated
Jan 21, 2023 - C++
My first SMT solver (only QF_UF)
satisfiability-modulo-theories logic-programming cnf learning-by-doing sat-solver smt-solver dpll tseitin-transformation cdcl logical-reasoning congruence-closure backjumping cdcl-t sat-solving qf-uf diy-smt
-
Updated
Jul 8, 2020 - Haskell
ECE 208 Bonus Assignment
-
Updated
Aug 11, 2019 - Jupyter Notebook
SAT Solver NPM Package written in C++
-
Updated
Aug 14, 2023 - C++
A DPLL-based SAT solver focused on traceability
-
Updated
Apr 10, 2018 - C++
Improve this page
Add a description, image, and links to the tseitin-transformation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tseitin-transformation topic, visit your repo's landing page and select "manage topics."