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