EPICC is a preprocessing technique for dealing with equality in connection calculi. The leanCoP-EPICC implementation uses EPICC in combination with the core leanCoP theorem prover.

leanCoP-EPICC requires Java (runtime environment), Python 3.5 or later, and SWI-Prolog. The following package includes a ReadMe file with more information on running the leanCoP-EPICC system.

• leanCoP-EPICC.tar.gz

EPICC was written by Benjamin Oliver. The Clojure source code of EPICC is available at https://github.com/beoliver/clj-epicc/.