feat(dsolvers): use new ODE encoding