Experimental Results
The constraint-understanding system has been run on the following models:
Course World (zipped - see index.html): a small model written by me to test the constraint-understanding system;
AP212 (zipped - see index.html): a large model for electrotechnical design;
The EDIF 4 0 0 Level 0 Information Model (zipped - see index.html): a very large model for the Electronic Design Interchange Format (Version 4 0 0).
Email me