Last released Sep 29, 2024
PolyHorn is a solver for Polynomial Constrained Horn Clauses (pCHC).
Supported by