GitHub repository: vvvvvvvector/SAT-solver-graphical-interface-backend
Primary language: Python
Description: backend v0.1