Add gjh "solver"