cln_tutorial
January 27, 2020 ยท View on GitHub
Setup:
-
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
makein base directory to install the coreclnpackage
Running:
- Run
cd tutorials; jupyter notebookto see notebook tutorials - Or run python scripts under tutorials