Summary
A C program that can read interpreted code from the AML-DL interpreter and determine its logical consistency.
More information & hyperlinks