poi icon indicating copy to clipboard operation
poi copied to clipboard

Published 20 hours ago • verified publisher icon advancedresearch

Add `(!= _)` constraint on constants in rules

Open bvssvni opened this issue 2 years ago • 0 comments

Currently, this is not possible to express.

Add:

  • [ ] inv((* \k:(!= 0))) => (/ k)
  • [ ] inv((/ \k:(!= 0))) => (* k)

bvssvni avatar Sep 28 '23 14:09 bvssvni