Distribution.Solver.Modular.Explore

cabal-install-solver-3.12.1.0: The command-line interface for Cabal and Hackage.

Safe Haskell | None
Language | Haskell2010

Distribution.Solver.Modular.Explore

Synopsis

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

# Documentation

backjumpAndExplore :: 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.