BTOR2YICES reads in BTOR2 files and stores the information into Yices2 terms. It uses Yices2 Python Bindings.
Follow the installation guide of Yices2 Python Bindings.
ahmed-irfan/btor2yices
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
BTOR2YICES reads in BTOR2 files and stores the information into Yices2 terms. It uses Yices2 Python Bindings.
Follow the installation guide of Yices2 Python Bindings.