upd [build BEN/Sep 14 2001   gcc 2.95.2 19991024 (release)]

usage:  upd {OPTIONS} [filename [filename [...]]]

Options:
-f=<file>    Store rewritten update program in <file>.
-FB=<goal>   Brave reasoning for <goal>.
-FC=<goal>   Cautious reasoning for <goal>.
-min         Compute minimal updates.
-o=<opts>    Pass <opts> as options to evaluation program.
-O=<opt>     Rewrite using optimization <opt>.
-P=<type>    Produce output for evaluation program of <type>.
-p=<prog>    Path to evaluation program <prog>.
-silent      Suppress the startup banner and blank lines.
-stdin       Also read input from stdin.
-strict      Compute strict minimal updates.
-v           Be a bit more verbose than usual.
-wait        Before terminating, wait until Return is pressed.

Default options: -O=succint -p=dlv