Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccinverted perpendicular

The system cc inverted perpendicular is a tool for testing correspondence between propositional logic programs under the answer-set semantics with respect to different refined notions of program correspondence. The underlying methodology of cc inverted perpendicular is to reduce a given correspondence problem to the satisfiability problem of quantified propositional logic and to employ extant solvers for the latter language as back-end inference engines. In a previous version of cc inverted perpendicular, the system was designed to test correspondence between programs based on relativised strong equivalence under answer-set projection. Such a setting generalises the standard notion of strong equivalence by taking the alphabet of the context programs as well as the projection of the compared answer sets to a set of designated output atoms into account. This paper outlines a newly added component of cc inverted perpendicular for testing similarly parameterised correspondence problems based on uniform equivalence.