libcvc4parser(3) on Linux
The text f8983205c41c, as Debian 12 (Bookworm) shipped it.
a parser library interface for the CVC4 theorem prover
The text f8983205c41c, as Debian 12 (Bookworm) shipped it.
a parser library interface for the CVC4 theorem prover