3 ms·
You need to add: (assert (> z 0)) (assert (> x 0)) (assert (> y 0)) or it will give you negative solutions. I am running this on my machine now
by gizmo686 9y ago
You need to add:
(assert (> z 0))
(assert (> x 0))
(assert (> y 0))
or it will give you negative solutions.
I am running this on my machine now. Will report back if it comes up with a solution.
- jfoutz 9y agoAnything is possible, but I really doubt you'll find those 80 digit numbers. Maybe the sat solver includes some serious number theory though. I doubt it.