User-friendly Interactive Platform for the Python Symbolic Information Theoretic Inequality Prover

This project aims to develop a user-friendly platform for the Python Symbolic Information Theoretic Inequality Prover.
GitHub Repository of PSITIP

Installing Node.js

The platform is a Next.js project such that installing Node.js in the system is necessary to run the platform.
Download Node.js from the Node.js official website:
Node.js Official Website

Open Command Prompt and check the installation of Node.js by the following command:
node -v

Open Command Prompt and check the installation of npm by the following command:
npm -v

Installing Dependencies

Step 1. Open Command Prompt by searching "cmd" in Windows
Step 2. Call directory to the folder ./frontend-ui-platform-psitip by the following command:
cd PLACEHOLDER_FOR_YOUR_FOLDER_DIRECTORY/frontend-ui-platform-psitip

Step 3. Install the required dependencies by the following command:
npm i

Running the Website Locally

Step 1. Open Command Prompt by searching "cmd" in Windows
Step 2. Call directory to the folder ./frontend-ui-platform-psitip by the following command:
cd PLACEHOLDER_FOR_YOUR_FOLDER_DIRECTORY/frontend-ui-platform-psitip

Step 3. Run the website by the following command:
npm run dev

Step 4. Access the website by typing the following URL in the browser:
http://localhost:3000

Installing PSITIP locally

Check PSITIP Local Installation Guide for local installation of PSITIP.