solver_run_sat - Haiku

Symbol: solver_run_sat

src/libs/libsolv/solv/problems.c

solver_run_sat(solv, 0, 0);

src/libs/libsolv/solv/solver.c

solver_run_sat(solv, 1, solv->dontinstallrecommended ? 0 : 1);

src/libs/libsolv/solv/solver_private.h

extern void solver_run_sat(Solver *solv, int disablerules, int doweak);