Are there any constraint solvers that can understand exponentiation of potentially unbounded floats aka. real numbers?
Given this simple program,
var float: x;
constraint x^x = 27;
solve satisfy;
I have tried Gecode, HiGHS, COIN-BC, and Chuffed.
Chuffed just doesn't support floats:
Type var float is currently not supported by Chuffed.
The others don't understand the power operator:
Error: solver backend cannot handle constraint: float_pow
Ideally I am looking for a solver with a Zinc frontend, although this is not a must.
JaCoP solver generates the following solution.