Geeks
stepwise-alan
/
btor2chc
A tool to convert btor2 to CHC smt-lib.
Primary Language
Python
btor2chc GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
btor2chc
A tool to convert btor2 to CHC smt-lib.