Debian.Apt.Dependencies

Basic CSP Types and Functions

data Status
type State a
data CSP a

Test CSP

Tree Helper Functions

mkSearchTree

Conflict Set

type Labeler a

Backtracking Labeler

BackJumping Solver