MinisatMakerClass

minisat simpen file di D: