file:// URLs inside channel, #2976 4.4.149 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced _classify_bad_deps(bad_deps, specs_to_add, history_specs, strict_channel_priority) find_matches_with_strict(ms, strict_channel_priority) find_conflicts(specs, specs_to_add=None, history_specs=None) breadth_f

file:// URLs inside channel, #2976 4.4.150 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.153 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.154 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.155 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.156 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.167 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.165 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced

file:// URLs inside channel, #2976 4.4.161 4.1.6 (2016-07-01) • slow down exp backoff from 1 ms to 100 ms factor, #2944 • set max time on exp_backoff to ~6.5 sec,#2955 • fix #2914 add/subtract from Resolve Functions _get_sat_solver_cls([sat_solver_choice]) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict Attributes stdoutlog Unsatisfiable Re _get_sat_solver_cls(sat_solver_choice=SatSolverChoice.PYCOSAT) exactness_and_number_of_deps(resolve_obj, ms) Sorting key to emphasize packages that have more strict requirements. More strict means the reduced