Similar repositories to zzyzzy12/maxsat: