To compute all the extensions of a program:

  lderes -a basename

To compute the first extension:

  lderes -1 basename

To compute the first 13 extensions:

  lderes -e13 basename

To disable the display of timing information:

  lderes -n -e13 basename


The names of the theory and default files are read from basename.dt.
To compute stable models of a program in lparse 1 format, use:

sm2dt program.lp    # Performs conversions and stratification
lderes program.lp
