The scripts {64,so,dw,e1,e2,e3,mr,r7}.sh in this directory perform
optimization rewriting on ASP instances.
They read and write SMODELS files from standard input and output.
They depend on executables lp2normal-2.27 and clasp-3.1.4 to be available.
