Similar repositories to miniSat/Minisat-documentation: