Code appendix for the paper "Adding Liveness to Executable Specifications"

Note: the project was implemented and tested on Python 3.7.4

1. Clone the project :

   git clone https://github.com/bThink-BGU/BPLivenessExecution.git

2. Create a virtual environment and activate it:

   cd BPLivenessExecution
   python -m venv env 
   source env/bin/activate

3. Update pip and install all dependencies:

   pip install --upgrade pip
   pip install -r requirements.txt

• Sokoban (for Sokoban maps 1-3):

  python run_sokoban.py 1

• Single Lane Bridge:

  python lane_bridge_run_model.py

• Sokoban (for Sokoban maps 1-3):

  python train_sokoban.py 1

• Single Lane Bridge:

  python lane_bridge_experiment.py