4 ms·

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

• Avshalom 2y ago
  BNR notably works with real numbers and non linear constraints.