chickadee » aima » csp

csprecord

A constraint-satisfaction-problem

domains
A hash-table mapping variables to possible values
constraints
A hash-table mapping pairs of variables to a dyadic lambda which returns #f if the values don't satisfy the constraint
neighbors
A hash-table adjacency-list of constraints
(define-record-and-printer csp domains constraints neighbors)