leapfrog solver