Code for the Planning lab of Planning and Automated Reasoning course, MSc degree in Artificial Intelligence 2023/2024, University of Verona

1. Download Anaconda for your System.

2. Install Anaconda and Git:

   • On Linux/Mac:

     • sh Anaconda{version}.sh to install the Anaconda version chosen.
     • Could be necessary to update your .bashrc file writing this line: export PATH=~/anaconda3/bin:$PATH then save and close the .bashrc file.
     • Open a terminal and digit: source ~/.bashrc
     • Install Git: sudo apt-get install git

   • On Windows:

     • Double click the installer to launch.
     • NB: during the installation, ensure to install "Anaconda Prompt" and use it for the other steps.
     • Install Git: download here

3. Setup Conda environment:

   • git clone https://github.com/vrncst/PlanningLab
   • conda env create -f tools/planning-lab-env.yml

To start the environment and work on your assignments, navigate to the downloaded folder root (Planning-Lab) and run:

conda activate planning-lab
jupyter notebook

The last command will open your browser for you to start working. To open the tutorial navigate with your browser to the current lesson notebook (Lesson_*/lesson_*_problem.ipynb).

• Celeste Veronese - [email protected]
• Alessandro Farinelli - [email protected]

Environments are based on OpenAI Gym: https://github.com/openai/gym

Material based on the previous version of the course, provided by Luca Marzari - [email protected]