The DAE and YAHSP temporal planning solvers