search

boogie-org / corral

solver for the reachability modulo theories problem
MIT License
58 stars 29 forks source link

Distributed corral ucsplit #87

Closed prantikchatterjee closed 5 years ago