Debian.Apt.Dependencies

Basic CSP Types and Functions

data Status

type State a

complete

data CSP a

Test CSP

controlCSP

testCSP

depF

sidPackages

gutsyPackages

test

packageVersionParagraph

conflict

conflict'

Tree Helper Functions

mkTree

label

initTree

mapTree

foldTree

zipTreesWith

prune

leaves

inhTree

distrTree

mkSearchTree

mkSearchTree

earliestInconsistency

Conflict Set

type ConflictSet

isConflict

solutions

type Labeler a

search

Backtracking Labeler

bt

BackJumping Solver

bj

unionCS

combine