FATCAT Goals
Support simple constraints on attributes of Tcl “objects”
Extend to new types of “objects”
Accommodate multiple constraint models
Non-goal
a full-fledged constraint programming language
Previous slide
Next slide
Back to first slide
View graphic version