Changes between Initial Version and Version 6 of Ticket #418


Ignore:
Timestamp:
08/25/11 06:38:08 (7 years ago)
Author:
malb
Comment:

an optional SPKG is available here:

http://sage.math.washington.edu/home/malb/spkgs/cryptominisat-2.9.1.spkg

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #418

    • Property Status changed from new to needs_review
    • Property Authors changed from to Martin Albrecht
    • Property Cc PolyBoRi added
    • Property Milestone changed from to sage-wishlist
    • Property Report Upstream changed from to N/A
  • Ticket #418 – Description

    initial v6  
    1 Make an optional SAGE package for MiniSAT (http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/) an award winning SAT solver. Also implement/port Nicolas Courtois' and Gregory Bard's ANF to CNF converter (http://eprint.iacr.org/2006/402.pdf) to SAGE.
     1Make an optional package for (Crypto)MiniSAT an award winning SAT solver.
     2
     3Also implement/port Nicolas Courtois' and Gregory Bard's ANF to CNF converter (http://eprint.iacr.org/2006/402.pdf) to SAGE.
     4
     5'''Install''' http://sage.math.washington.edu/home/malb/spkgs/cryptominisat-2.9.1.spkg