## Equivalence Verification of Logic Programs## LPEQ[Background] [Examples] [References] [Usage] [Download] [Utilities - ASPtools] [Disjunctive programs - dlpeq] ## Background
In addition to
For the case of ## Using the Software`lpeq` is used as follows,
Command line options for -
`-h` or`--help` : print help message -
`--version` : print version information -
`-v` : verbose mode (human readable) -
`-c` : classical equivalence -
`-s` : strong equivalence; excludes option`-c` , but presumes classical equivalence to work. -
`-m` : modular equivalence; excludes options`-c` and`-s` , -
`-i` : generate input; presumes option`-m`
`lpeq` is used as follows in order to check
the equivalence of `program1.lp` and `program2.lp` :
When given the option
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.
## Current versionlpeq-1.19-
`lpeq` (version 1.19) enables translation-based verification of*modular equivalence*[OJ, ASP'07].
## Old versions-
lpeq-1.17, more support for
verification of
*visible equivalence*, [JO, TPLP'07] -
lpeq-1.13, also for verification
of
*strong and classical equivalence*, [JO, LPNMR'04] -
lpeq-1.7, for verification of
*weak equivalence*, [JO, JELIA'02]
## Benchmarks and scripts- Encodings and benchmarks for [OJ, ASP'07] and [OJ, submitted'08]:
README; n-queens: gen-x.lp, gen-y.lp, check-1.lp, check-2.lp; Hamiltonian cycles: graph.lp, hc.lp, reached.lp, hc-candidate.lp; grounded modules: ASP07-benchmarks.tgz - Shell scripts, encodings and seeds for [JO, TPLP'07]:
general_test, general_times, lpeq, naive_test, naive, README queens-x1.lp, queens-x2.lp, queens-y.lp, knapsack.lp, color.lp, hc.lp, seeds.tgz -
Shell scripts and encodings for [JO, JELIA'02]]:
queens_test, queens_times.sh, general_test, running_times.sh, naive.sh, README queens.lp, queens_choice.lp, color.lp, hc.lp
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 06 February 2013. Tomi Janhunen |