clingo(1) on Linux
The text e7c77ebbb6a7, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
a combination of clasp and gringo
Flags it lists
-
--help -
--version -
-h -
-v