GitHub - fangwenji/btor-parser: A btor2 paser adapted from Pono(https://github.com/upscale-project/pono), written in c++.

Btor2 parser from Pono

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.vscode		.vscode
build		build
deps		deps
design		design
fmt		fmt
framework		framework
utils		utils
CMakeLists.txt		CMakeLists.txt
CMakeLists.txt.old		CMakeLists.txt.old
README.md		README.md
btor_qf_ufbv.cpp		btor_qf_ufbv.cpp
main.cpp		main.cpp

Provide feedback