Changes between Version 1 and Version 21 of Ticket #13850


Ignore:
Timestamp:
12/18/13 13:10:40 (6 years ago)
Author:
malb
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13850

    • Property Status changed from new to closed
    • Property Authors changed from to Charles Bouillaguet
    • Property Commit changed from to 4daab78ad359d500b6a264708a30cafdbeb2a03e
    • Property Dependencies changed from to #13162,#13964,#13965,#13968,#13976,#13977
    • Property Branch changed from to u/Bouillaguet/ticket/13850
    • Property Milestone changed from sage-5.6 to sage-6.1
    • Property Reviewers changed from to Martin Albrecht
    • Property Resolution changed from to fixed
  • Ticket #13850 – Description

    v1 v21  
    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.