formulog icon indicating copy to clipboard operation
formulog copied to clipboard

Published 20 hours ago • verified publisher icon HarvardPL

Document SMT strategies

Open aaronbembenek opened this issue 4 years ago • 0 comments

We support different ways of interacting with the back-end SMT solver(s). These include strategies that reset the solver state between queries, as well as different approaches to caching queries to take advantage of incremental SMT solving. We should document these.

aaronbembenek avatar Dec 04 '20 23:12 aaronbembenek