#16924: Read DIMACS files
-------------------------------------+-------------------------------------
Reporter: malb | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: interfaces: | Resolution:
optional | Merged in:
Keywords: | Reviewers: Martin Albrecht
Authors: Travis Scholl | Work issues:
Report Upstream: N/A | Commit:
Branch: | 34d8f00f1175b40bb7274934d217261eab2025e0
u/tscholl2/read_dimacs_16924 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by malb):
Replying to [comment:23 vdelecroix]:
> - the comments should only be at the begining
Why enforce that restriction when there is no harm (as far as I can see)
in being more liberal?
> - there is one line starting with `p cnf NUM_VAR NUM_CLAUSES` (the same
format is used for other constraint satisfcation problems)
As far as I know, many parsers these days ignore this (source: I chatted
to Máté Soos ages ago, I might be misremembering, though)
> - a clause might extend on more than one line and a clause might start
on the same line as another one
I did not know about that one.
> In other words, as far as I understand, this would be valid
> {{{
> c hey
> c ho
> p cnf 3 2
> 1 -2 0 3
> 1 0
> }}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16924#comment:24>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
