Thesis-Project

This project was realized as an internship and thesis work for UniPR.

Getting Started

• Back-end requirements: gringo, python3, pip3 and graphviz.
• Front-end requirements: visual studio.

Back-end

• Windows (x64)

  • Gringo: https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-win64.zip (or above).

  • Python3 & Pip3: https://www.python.org/ftp/python/3.9.2/python-3.9.2-amd64.exe (bundle).

  • Graphviz base: https://gitlab.com/graphviz/graphviz/-/package_files/7097345/download

  • Graphviz library: pip3 install graphviz

• Linux/Ubuntu

    sudo apt update -y
    sudo apt upgrade -y
  

  • Gringo: sudo apt install gringo -y

  • Python3 & Pip3: Should already be installed.

  • Graphviz base: sudo apt install graphviz -y

  • Graphviz library: pip3 install graphviz

Front-end

• Download and install Visual Studio: https://visualstudio.microsoft.com/it/downloads/
• From setup, install Xamarin and UWP workloads.
• Xamarin.Forms guide: https://docs.microsoft.com/it-it/xamarin/get-started/