Updated Boogie and CI Z3 version - Githubissues

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

Updated Boogie and CI Z3 version #120

Closed zvonimir closed 4 years ago

zvonimir commented 4 years ago

I am interested in trying out the new function definition functionality.