Open dpsanders opened 3 years ago
Great idea!
As I mentioned in an email, you can either:
begin (_c, _b, y) = minus_rev(_c, _b, y) (_b, _a, x) = plus_rev(_b, _a, x) x = integerize(x) (_a, x) = exp_rev(_a, x) x = integerize(x) end
for the constraint "exp(x) + x - y = 0" with x integer.
Add an
integerize
contractor as in this code I wrote , discussed in this Discourse post