-
Use anaconda or miniconda environment with python 3.7: https://docs.conda.io/en/latest/miniconda.html
-
install pytorch with conda: https://pytorch.org/get-started/locally/
-
install other dependencies:
conda install jupyter matplotlib numpy tqdm pandas
-
install z3 and pysmt (not on conda):
pip install z3-solver pysmt
-
run
make
in base directory to install the corecln
package
- Run
cd tutorials; jupyter notebook
to see notebook tutorials - Or run python scripts under tutorials