This page now lives at
Tools for puzzle solving and construction