search

usi-verification-and-security / golem

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

OpenSMT update 2.6.0 -> 2.7.0 #71

Closed blishko closed 2 months ago