search

boogie-org / boogie

Boogie
http://research.microsoft.com/en-us/projects/boogie/
MIT License
514 stars 112 forks source link

[Pool-based quantifier instantiation] Drop quantifier even if no instantiation found #906

Closed shazqadeer closed 4 months ago