search

usi-verification-and-security / golem

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

Uroboros #6

Closed BritikovKI closed 1 year ago

BritikovKI commented 1 year ago

Implemented MacMillan paper about the interpolant chc approach

blishko commented 1 year ago

I think the stuff related to GitHub actions should be moved to separate PR.

Also, I think we have to rename the engine to IMC, that seems to be pretty standard when people refer to this McMillan's algorithm.

blishko commented 1 year ago

Thanks!