libcvc4parser(3) on Linux
The text 35eebd661ce3, as Debian 11 (Bullseye) shipped it.
a parser library interface for the CVC4 theorem prover
The text 35eebd661ce3, as Debian 11 (Bullseye) shipped it.
a parser library interface for the CVC4 theorem prover