Changes between Initial Version and Version 1 of Ticket #16924, comment 26
- Timestamp:
- 08/28/15 17:08:43 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #16924, comment 26
initial v1 12 12 13 13 Should I post links to these pages describing different rules for DIMACS files in the docstring as well? 14 15 EDIT: Sorry I realized I copied the wrong link. Here is the corect one: [http://www.satcompetition.org/2009/format-benchmarks2009.html]