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