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