• Home
• tools.aqua
• z3-turnkey
• 4.12.6
• source code
• test-jupyter.yml

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.12.6.scripts.test-jupyter.yml Maven / Gradle / Ivy

# Need to install jupyter-nbconvert
# -steps
#  - script: | 
#    jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/guide.ipynb
#    jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/strategies.ipynb
#    jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/advanced.ipynb