Changes between Initial Version and Version 1 of Ticket #13850


Ignore:
Timestamp:
12/19/12 16:35:58 (7 years ago)
Author:
malb
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13850 – Description

    initial v1  
    44 * SAT solving (!CryptoMiniSat and friends)
    55 * exhaustive search (FES library)
    6  * (Mixed Integer Programming) (!Sage's MIP stuff and !SCIP)
     6 * (Mixed Integer Programming) (Sage's MIP stuff and SCIP)
    77
    88All these interfaces exist, they only need to be properly exposed.