Changes between Initial Version and Version 10 of Ticket #18982


Ignore:
Timestamp:
08/12/15 13:22:13 (4 years ago)
Author:
dimpase
Comment:

yeah, lambda as a variable name might get you confused...

PS. The tests in the reference are hardly new, I changed wording there.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18982

    • Property Status changed from new to positive_review
    • Property Commit changed from to 9d85b9778bbab21e37c429c6923acc6d37af69bf
    • Property Branch changed from to u/ncohen/18982
    • Property Reviewers changed from to Jori Mäntysalo
  • Ticket #18982 – Description

    initial v10  
    1 This branch adds new infeasibility tests from the following paper:
     1This branch adds more infeasibility tests from the following paper:
    22
    33http://www.win.tue.nl/~aeb/preprints/srgsurvey.pdf