search

usi-verification-and-security / golem

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

CI: Remove python packages related to osmt model validation #2

Closed aehyvari closed 2 years ago

MasoudAsadzade commented 2 years ago

👍