search

uclid-org / uclid

UCLID5: formal modeling, verification, and synthesis of computational systems
Other
136 stars 32 forks source link

fix CI for mac #257

Closed polgreen closed 4 months ago