#5671: Create a documented minimal useful Cython wrapper for miniSAT along with
an
spkg
-------------------------+--------------------------------------------------
Reporter: boothby | Owner: boothby
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.1.2
Component: packages | Keywords:
Reviewer: | Author:
Merged: |
-------------------------+--------------------------------------------------
Comment(by malb):
This
http://planete.inrialpes.fr/~soos/CryptoMiniSat/index.html
might be relevant. It is an enhanced MiniSat with:
* Natively handled XOR functions
* Statistics generation
* Search randomization
* Detailed solving process visualization
* Clause grouping and group naming
* Variable naming
* Debug mode
* Code cleanup
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5671#comment:5>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
