Create InversionCalculusSolver.agda