Jt/install boolector - Githubissues

draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis

MIT License

51 stars 1 forks source link

Closed jtpaasch closed 3 years ago

jtpaasch commented 3 years ago

Adding boolector to CI/setup

codyroux commented 3 years ago

I appreciate the dark magic involved in any bash script.