jpsety/verilog2dimacs
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
Python
Issues
- 0
can this be used to convert to qdimacs?
#1 opened by rrlcs
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
Python