Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
funsat-0.5.1
-*- mode: outline -*- * 0.5.1 ** Update for compatibility with parse-dimacs 1.2, which should mean faster parsing. ** Code cleanup