A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Primary LanguagePrologMIT LicenseMIT