GitHub repository: khomesh24/Minisat
Primary language: Python
Description: Web interface for Minisat