search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
101 stars 14 forks source link

Update docs for installing z3 from dev repo #330

Closed fortunac closed 3 years ago

fortunac commented 3 years ago

Closing because z3 4.8.11 has been added to opam.