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