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