Debug solver for checking differential equations in constraints
bettter logging