Changes between Initial Version and Version 1 of Ticket #16924, comment 26


Ignore:
Timestamp:
08/28/15 17:08:43 (6 years ago)
Author:
tscholl2
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16924, comment 26

    initial v1  
    1212
    1313Should I post links to these pages describing different rules for DIMACS files in the docstring as well?
     14
     15EDIT: Sorry I realized I copied the wrong link. Here is the corect one: [http://www.satcompetition.org/2009/format-benchmarks2009.html]