I picked a toy problem that was really easy to solve, figuring that once I
had the idea down, I would be able to easily change the equation to the one
that I am interested in solving. In moving to my real problem I hit the
next snag I can't use real numbers within the equation. I note that the
equation hasn't changed, the values of x and y are still non-negative
integers.
(run* [q]
(fresh [x y]
(fd/in x y (fd/interval 0 9))
(fd/eq
(= (+ (* x 3.) (* y 2.)) 8.))
(== q [x y])))
In my real problem I expect that I could have something like
(run* [q]
(fresh [x y]
(fd/in x y (fd/interval 0 9))
(fd/eq
(= (+ (* x 3.1111) (* y 2.2222)) 8.4444))
(== q [x y])))
Is there away to do this?
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
