Skip to content

vvvvvvvector/SAT-solver-graphical-interface-server

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

78 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

An open source application built using FastAPI.

About this project

👉 read here 👈

Running Locally

  1. Open the project directory in a terminal

    cd project-name
  2. Create a virtual environment:

    using python3:

    python3 -m venv venv

    or if you don't have python3:

    python -m venv venv
  3. Run the virtual environment:

    MacOS:

    source venv/bin/activate

    Windows:

    source venv/Scripts/activate

    Linux (i don't know, haven't tried):

    source venv/???/activate
  4. Check if it's running using following command:

    which python

    if everything is fine you are going to see a path for python in the virtual environment

  5. Install dependencies:

    pip install -r requirements.txt
  6. Start the development server:

    uvicorn main:app --port 8000 --reload

    this command will run the program on 8000 port, don't change it, this port is hardcoded on the client-side