Changes between Version 23 and Version 31 of Ticket #418


Ignore:
Timestamp:
07/13/12 12:09:16 (9 years ago)
Author:
jdemeyer
Comment:

_sig_on and _sig_off are deprecated since sage-4.7. Use sig_on() and sig_off() instead. See #10115 (and note the reviewer of that ticket!).

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #418

    • Property Status changed from needs_review to needs_work
    • Property Cc sbulygin added
    • Property Reviewers changed from to Alexander Dreyer
  • Ticket #418 – Description

    v23 v31  
    11This ticket implements
    22
    3  * an optional Sage package for C!ryptoMiniSat
     3 * an optional Sage package for !CryptoMiniSat
    44 * a C++ interface to !CryptoMiniSat which supports xor clauses, options, conflict clauses and learnt clause extraction
    55 * a generic interface for various SAT solvers based on the DIMACS file format