eye.pvm(1) on Linux
The text c386a41f535c, as Debian 10 (Buster) shipped it.
Euler Yet another proof Engine (EYE) semantic web reasoning engine
Flags it lists
-
--carl -
--csv-separator -
--curl-http-header -
--debug -
--debug-cnt -
--debug-djiti -
--debug-pvm -
--help -
--hmac-key -
--ignore-inference-fuse -
--ignore-syntax-error -
--image -
--license -
--multi-query -
--n3 -
--n3p -
--no-distinct-input -
--no-distinct-output -
--no-genid -
--no-numerals -
--no-qnames -
--no-qvars -
--no-skolem -
--nope -
--pass -
--pass-all -
--pass-all-ground -
--pass-only-new -
--pass-turtle -
--plugin -
--probe -
--profile -
--proof -
--query -
--random-seed -
--rule-histogram -
--source -
--statistics -
--streaming-reasoning -
--strict -
--strings -
--tactic -
--traditional -
--turtle -
--version -
--warn