stubs for solver