DLPEQ

DLPEQ - a tool for testing the equivalence of disjunctive logic programs. The translator dlpeq is an implementation of the method for verification of weak equivalence of disjunctive logic programs in [OJ, LPNMR’04]. It is designed to be used with GnT and the front-end lparse (pre 1.0.14) which are available here. If you use lparse 1.0.14 or later, use dencode to switch to the old format.