This was really cool - anyone have some good references to where I can learn more about SBV in particular and solving problems using SMT in general? (I did review the examples in the repo, and they were helpful, but I’m looking for more of a tutorial-style exposition if one exists.)
This was really cool - anyone have some good references to where I can learn more about SBV in particular and solving problems using SMT in general? (I did review the examples in the repo, and they were helpful, but I’m looking for more of a tutorial-style exposition if one exists.)
The Calculus of Computation by Bradley and Manna is pretty good overview of logic, program verification, and how a SAT/SMT solver works.
Thanks. Appreciated.