Lines Matching refs:solver
46 import pkg.solver
121 """Provides a SAT-based solution solver to determine which packages
137 # check if we're allowed to use the solver
139 raise RuntimeError("no_solver set, but solver invoked")
193 self.__solver = pkg.solver.msat_solver()
224 # set of stems avoided by solver due to dependency constraints
226 # intentionally starts empty for every new solver invocation and
295 """Discards all solver information except for that needed to
296 show failure information or to stringify the solver object.
355 """Mark the end of a solver subphase, recording time taken."""
525 required for the solver to find a solution. Trimming is only
577 """Constrain the solver solution so that only one version of
599 """Generate initial solver clauses for the proposed packages (if
642 """Prepares solver for solution creation returning a
646 # solver must be used.
702 # First check for solver failures caused by missing parent
782 'exp' is the related exception object raised by the solver when
801 # solver couldn't find a solution, so make a best effort guess
838 info.append(_("Plan Creation: Package solver is "
896 solver should elide versions of proposed packages older than
901 'relax_all' indicates if the solver should relax all install
904 'ignore_inst_parent_deps' indicates if the solver should
1193 # the solver for invocation.
1202 # Add proposed and installed packages to solver.
1218 # save a solver instance so we can come back here
1345 # the solver for invocation.
1354 # Add installed packages to solver.
1403 # solver couldn't find a solution, so make a best-effort guess
1505 # Run it through the solver; with more complex dependencies
1557 """Duplicate current current solver state and return it."""
1559 pkg.solver.msat_solver(self.__solver))
1561 def __restore_solver(self, solver):
1562 """Set the current solver state to the previously saved one"""
1563 self.__addclause_failure, self.__solver = solver
1618 """Return solution vector from solver"""
2188 # Required is only really helpful for solver error
2214 # or nonmatching requirements for the solver.
2262 # true, the solver may not find anything to do,
2461 solver explaining why they were rejected. (All packages
2462 found in solver's trim database.)"""
2714 # handled by trimming proposed set, not by solver
2800 """add list of clause lists to solver"""
3054 # thrashing in the solver due to many equiv. solutions.