GitHub repository: vvvvvvvector/SAT-solver-graphical-interface-server
Primary language: Python
Description: SAT-solver graphical interface for Web [server-side]