This repository contains initial experiments on algorithm selection for Btor2 circuit verification.
You can firstly scan through the ipython notebook to get an overview of it.
Steps:
- install
python3
and related packages - init submodules.
- The btor2 benchmark is over 1G, be patient.
- Further build btor2c as in its README
- follow the steps in the notebook
- You may need to change the proxy settings in the notebook