Changes between Version 2 and Version 3 of Ticket #19162


Ignore:
Timestamp:
09/26/15 07:12:10 (6 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19162 – Description

    v2 v3  
    1010Tickets:
    1111 * #19040: to take satisfiability/truth functionality out of `ex.__nonzero__` into resp. member functions
     12 * #19000: SMT-solver is needed for dedicated `satisfiable()`