#418: Wrap MiniSAT
-----------------------------------+----------------------------------------
Reporter: malb | Owner: was
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-wishlist
Component: packages | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Martin Albrecht | Merged in:
Dependencies: | Stopgaps:
-----------------------------------+----------------------------------------
Changes (by kcrisman):
* cc: fichtejo (added)
Comment:
At #11479 the suggestion was to make sure there was a generic backend for
eventually having interfaces with other solvers (presumably using some of
the code there). Would that be pretty easy to do with this, or pretty
challenging? It sounds like fichtejo is interested in helping with that,
if it is practical/meaningful; naturally, it may be the case that
combining any of these pieces would be too challenging to be practical.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/418#comment:11>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
