Constraint Satisfaction in Ordinary Differential Equations by Micha Janssen