search

usi-verification-and-security / golem

Solver for Constrained Horn Clauses
MIT License
34 stars 7 forks source link

Provide common methods on SMTSolver wrapper #78

Closed blishko closed 1 month ago