Discussion:
assume()...
(too old to reply)
Dimiter Prodanov
2017-07-18 13:52:34 UTC
Permalink
Raw Message
Hi all,

personally I don't go beyond assume(x>0) because of the many deficiencies
of the mechanism.
So any attempts to make it more powerful should be welcomed.

best regards,

Dimiter

Loading...