GitHub repository: usi-verification-and-security/golem
Primary language: C++
Created: 2021-08-13T15:38:59Z
Description: Solver for Constrained Horn Clauses