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