#418: Wrap MiniSAT
-------------------------+--------------------------------------------------
Reporter: malb | Owner: was
Type: enhancement | Status: new
Priority: minor | Milestone: sage-wishlist
Component: packages | Keywords:
-------------------------+--------------------------------------------------
Comment(by was):
#5671 a special case of what is asked for in this ticket. This ticket
seems to be about wrapping multiple SAT solvers, and implementing porting
ANF and CNF codes to Sage. By the way, in wrapping minisat the first
thing we did was *not* use DIMACS format for the wrapper, since that all
goes via string processing, and we want a direct C library interface.
DIMACS format should also be supported at some point though.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/418#comment:4>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
