Hi!

I use clpr (for reals) and clpfd (for integers). clpr can maximize or minimize linear equations but not non-linear ones. Conversely, clpfd can maximize or minimize non-linear equations but only deals with integers. Because i have fractions in my application I end up with expressions like:

`X2 #= 8 * X1 * X3 // (10 * 100)`

Where 0-1 is transformed to 0-100

But i would like for my end users to be able to just write the simpler ` {X2 = 0.8 * X1 * X3}`

, and then maximize/minimize such expressions.

From Stack overflow i got some suggestions about algorithms that might be able to do this. But i was not able to find any libraries that might be used with SWI Prolog (or Swish which would be the ideal). Any suggestions would be appreciated

Cheers/JCR