Added solver implementation, no initial conditions yet