eye.pvm(1) on Linux
The text abb4f0ec8829, as Debian 12 (Bookworm) shipped it. The page shows this text now.
Euler Yet another proof Engine (EYE) semantic web reasoning engine
Flags it lists
-
--blogic -
--csv-separator -
--debug -
--debug-cnt -
--debug-djiti -
--debug-pvm -
--entail -
--help -
--hmac-key -
--ignore-inference-fuse -
--image -
--intermediate -
--license -
--max-inferences -
--multi-query -
--n3p -
--no-distinct-input -
--no-distinct-output -
--no-erase -
--no-numerals -
--no-qnames -
--no-qvars -
--no-ucall -
--nope -
--not-entail -
--output -
--pass -
--pass-all -
--pass-all-ground -
--pass-only-new -
--profile -
--proof -
--quantify -
--query -
--quiet -
--random-seed -
--restricted -
--rule-histogram -
--skolem-genid -
--source -
--statistics -
--strings -
--tactic -
--turtle -
--version -
--warn