add pool_add_userinstalled_jobs and solver_get_userinstalled functions