lpsbinary(1) on Linux
The text 8431cf3bc028, as Debian 10 (Buster) shipped it. The page shows this text now.
replace finite sort variables by vectors of boolean variables in an LPS
Flags it lists
-
--debug -
--help -
--log-level -
--qlimit -
--quiet -
--rewriter -
--timings -
--verbose -
--version -
-Q -
-d -
-h -
-q -
-r -
-v