/ShadowProver-Python

Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)

Primary LanguageJupyter Notebook

ShadowProver Python Interface

A python interface to ShadowProver. Requires a ShadowProver container to be running. Note that the dependency Py4j does not support Python versions >3.9.

ShadowProver Docker Setup

  1. Clone the ShadowProver repository.
  2. Within the ShadowProver repository, build the shadowprover image docker build -t shadowprover .
  3. Run the shadowprover docker container docker run -p 25333:25333 shadowprover

Python Installation

  1. Set up a virtual environment via the method of your choice.
  2. Once within your virtual environment, within this repository install the dependencies via pip install -r requirements.txt
  3. Test to make sure interface works by python example.py