Distribution.Solver.Modular.Explore

1 value

Packagecabal-install-solver-3.18.1.0
Exports1
LanguageHaskell2010
LicenceBSD-3-Clause
SourceExplore.hs

valuebackjumpAndExplore

:: Maybe Int
-> EnableBackjumping
-> FineGrainedConflicts
-> CountConflicts
-> Index
-> Tree d QGoalReason
-> RetryLog Message SolverFailure (Assignment, RevDepMap)

Interface.

Takes as an argument a limit on allowed backjumps. If the limit is Nothing, then infinitely many backjumps are allowed. If the limit is 'Just 0', backtracking is completely disabled.