A clojure implementation of EPICC (Equality Preprocessing In Connection Calculi)
Primary LanguageClojureEclipse Public License 2.0EPL-2.0