For this project you will need a python3 version.
You will need the following package:
sudo apt install python3
sudo apt install virtualenv
sudo apt install python3-pip
sudo apt install python3-tk
Prepare your virtualenv:
virtualenv venv
. venv/bin/activate
pip install -r requirements.txt
If you want to exit your virtualenv:
deactivate
To the 3 sat to 3 color graph script
python 3-sat-problem.py my-3-sat-problem.txt output-3-color-graph.txt