search

usi-verification-and-security / golem

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

Non-linearity Support #41

Closed m4mbo closed 1 year ago

m4mbo commented 1 year ago