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