CUDF solver stub that behaves like a CUDF solver, but delegates solving to a remote solving farm