[rscho]

There are many ways to recover relational behaviour. Libs such as clp(fd) (superseded by clp(Z)), clp(BNR) and others.

[Avshalom]

BNR notably works with real numbers and non linear constraints.