muredA rule engine for MIU System(MU puzzle) from GEBmiugebgodelescherbachmiu systemformal systemrule engineproduction rule systemterm rewriting system1.0.2 • Published 5 years ago