I already have tried IBM constraint programming optimizer, but there are only 64-bit integers.
Asked
Active
Viewed 42 times
0
-
There is a Prolog based [tag:clpfd] system with arbitrary integers. So you can say `abs(X) #< 7^7^7`. See the tag. – false Jan 01 '20 at 17:02
-
1The currently most performant version is called [clpz](https://github.com/triska/clpz/) and requires SICStus Prolog. – false Jan 01 '20 at 17:05