- 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)