btor2verilog

Hacked together program to convert btor2 files to Verilog. Does not currently support arrays.

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
contrib		contrib
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
btor2verilog.cpp		btor2verilog.cpp
btor2verilog.h		btor2verilog.h
main.cpp		main.cpp

Provide feedback