GitHub repository: miniSat/Minisat-documentation
Description: Documentation for Minisat