Geeks
agurfinkel
/
btor2llvm
A tool to convert btor2 files to LLVM.
Primary Language
Python
btor2llvm GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
btor2llvm
A tool to convert btor2 files to LLVM.