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.