Floor/Ceil functions

[gchabert]

Asked by julien.garcia ·[AT] supmeca.fr
Allows to transform a continuous quantity into a discrete one inside an expression, ex:
y=floor(x)+1;

This would subsume the current "integer" constraint since we could also write

x=floor(x)

[gchabert]

Done! ... 4 years later :)

Now we can integer variable in ibexsolve and ibexopt !

However we have no certification in ibexsolve with integer variables. Certification could be considered in the future but this probably requires introducing clever slope functions for floor/ceil instead of derivatives.