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.