The DAE and YAHSP temporal planning solvers - View it on GitHub