funsat-0.5.1: CHANGES
-*- mode: outline -*- * 0.5.1 ** Update for compatibility with parse-dimacs 1.2, which should mean faster parsing. ** Code cleanup
-*- mode: outline -*- * 0.5.1 ** Update for compatibility with parse-dimacs 1.2, which should mean faster parsing. ** Code cleanup