#14180: SatSolver.clauses
--------------------------------------+-------------------------------------
Reporter: malb | Owner: jason
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-5.8
Component: misc | Resolution:
Keywords: sat, cryptominisat | Work issues:
Report Upstream: N/A | Reviewers: Nathann Cohen
Authors: Martin Albrecht | Merged in:
Dependencies: #14198 | Stopgaps:
--------------------------------------+-------------------------------------
Comment (by ncohen):
> Can you elaborate on that? I could try to fix it (in another patch). Do
you mean something with textfiles I just added or something that was in
the DIMACS class before this patch? To explain the latter case: I didn't
want to keep clauses in RAM because I routinely have problems with
gigabytes of clauses.
Nonnoo, it's nothing that you added just there. Well, for a start it took
me some time to realise that your `._tail` variable was actually your
whole data. The place where you store everything. And you parse it each
time you want to find out the list of clauses, which I don't like either.
It nothing you added here, just "how this system is built".
Of course, if you tell me that you usually cannot store your clauses in
memory, then that's another problem and you probaly found the best answer
by storing this in text files.
Well. Storing RAM stuff in text file is what SWAP does, though.
Really ? This takes Gigabytes of clauses ? List of lists of integers ?
`:-/`
How do the solver deal with them, then ? Do they work directly on the text
files ? `O_o;;;`
Nathann
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14180#comment:15>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
