Equivalence Verification for Disjunctive Logic ProgramsDLPEQ[Background] [Examples] [References] [Using the software] [Download] [Back to LPEQ] Background
The translator Using the Softwaredlpeq is used as follows in order to check
the equivalence of program1.lp and program2.lp :
Either using one-phased or two-phased translation: One-phased: Two-phased:
More examples of the usage of DownloadDisclaimer: The software below is provided on "as is" basis, without warranties of any kind or fitness for a particular purpose. Copyright: The copyright for the binary is held by Emilia Oikarinen. You may freely use this software for academic and research purposes but not redistribute it.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 06 February 2013. Emilia Oikarinen |