Equivalence Verification for Disjunctive Logic Programs
[Background] [Examples] [References] [Using the software] [Download] [Back to LPEQ]
Using the Software
Either using one-phased or two-phased translation:
More examples of the usage of
Disclaimer: 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