Changeset 151

Timestamp:
Sep 25, 2014, 10:07:17 AM (10 years ago)
Author:
krafczy
Message:

Fix double negation bug in DIMACS writer (ticket #5)

(No files)

Note: See TracChangeset for help on using the changeset viewer.