polyclass

• uses Richard Gault's polyanna to classify single-relation constraint languages; and
• can be interrupted and restarted for large jobs, or for parallel operation.

Note that from version 1.10 this script is now part of AI::Constraints::LiftUtils.

Download old standalone versions from here:

• polyclass-1.9 13-Aug-2004
• polyclass-1.8 29-Jul-2004