berkeley-abc(1) on Linux
The text c78b8013a557, as Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it. The page shows this text now.
A System for Sequential Synthesis and Verification
Flags it lists
-
-C -
-F -
-T -
-b -
-c -
-f -
-h -
-o -
-q -
-s -
-t -
-x