The copyright for the scripts is held by Emilia Oikarinen. You may freely use
and modify these scripts for academic and research purposes but not
redistribute them.
USING OF THE SCRIPTS:
- general_test.sh
Tests the equivalence of two logic programs of type
using LPEQ and NAIVE approaches. Programs are shuffled.
Supported problem types:
* 3sat_const_ratio
First program is a random 3-SAT instance (clauses/variables ratio is
kept at 4 and number of variables is varied). Second program is
obtained from the first by dropping one random rule.
* 3sat_varying_ratio
First program is a random 3-SAT instance (number of variables is kept
at 40 and number of clauses and thus clauses/variables ratio is
varied). Second program is obtained from the first by dropping one
random rule.
* color
First program is an instance of 4-COLORING a random planar graph
(number of vertices is varied). Needs file color.lp. Second program is
obtained from the first by dropping one random rule.
* hc
First program is an instance of HAMILTONIAN CYCLE problem for a random
planar graph (number of vertices is varied). Needs file hc.lp.
* queens1
First program is an instance of n-QUEENS problem encoded in queens-x1.lp
and second is an instance of n-QUEENS problem encoded in queens-x2.lp.
* queens2
First program is an instance of n-QUEENS problem encoded in queens-x1.lp
and second is an instance of n-QUEENS problem encoded in queens-y.lp.
* knapsack
First program is KN(127,C) and second KN(127,C-1). Needs file knapsack.lp.
- general_times.sh
Subscript called by general_test.sh.
- lpeq.sh
Wrapper for lpeq.
- naive.sh
Wrapper for the naive approach.
- naive_test.sh
Implementation of the naive approach as a shell script.