Contents
\mainpage ProvSQL C/C++ API
This is the internal C/C++ API of the ProvSQL PostgreSQL extension. The PostgreSQL-facing interface is written in C, while circuit manipulation, graph algorithms, and semiring evaluation use C++.
See the Classes page for circuit representations
and semirings, Files for per-file documentation,
or Namespaces for the semiring namespace.