Details
Description
The attached patch enables the follow code:
(run* [x] (infd x (interval 0 9)) (eqfd (!= 6 (* 2 x))))
You can also substitute != with <, >, >=, or <=
The attached patch enables the follow code:
(run* [x] (infd x (interval 0 9)) (eqfd (!= 6 (* 2 x))))
You can also substitute != with <, >, >=, or <=