Changes between Version 13 and Version 23 of Ticket #418


Ignore:
Timestamp:
06/29/12 16:08:20 (6 years ago)
Author:
malb
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #418

    • Property Report Upstream changed from N/A to Fixed upstream, in a later stable release.
  • Ticket #418 – Description

    v13 v23  
    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
    6  * instantiations of this interface for !Glucose and !RSat
    7  * a converter for Boolean Polynomials to !SAT
     6 * instantiations of this interface for Glucose and RSat
     7 * a converter for Boolean Polynomials to SAT
    88 * highlevel functions for solving Boolean polynomial systems and for learning new polynomials for Boolean polynomial systems
    99
    1010How to install/test:
    1111
    12  1. '''Install''' http://sage.math.washington.edu/home/malb/spkgs/cryptominisat-2.9.1.spkg
     12 1. '''Install''' http://sage.math.washington.edu/home/malb/spkgs/cryptominisat-2.9.5.spkg
    1313 1. '''Pull''' from https://bitbucket.org/malb/sage-cryptominisat
    1414