LW
Ai Constraint Satisfaction, System Design Documentation