DynIBEX is a plugin of the constraint programming IBEX which adds different features to deal with dynamical systems (ODE, DAE of index 1) into the constraint programming framework.