You need to add: (assert (> z 0)) (assert (> x 0)) (assert (> y 0)) or it will g... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

gizmo686 on Aug 7, 2017 | parent | context | favorite | on: How do you find integer solutions to x/(y + z) + y...

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 on Aug 7, 2017 [–]

Anything 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact