usi-verification-and-security/golem

Solver for Constrained Horn Clauses

C++MIT