« Changelog History


sbv v8.3 Release Notes

Release Date: 2019-06-08 // almost 5 years ago

    • Increment base dependency to 4.11.

    • Add support for Data.Set.hasSize.

    • Add supportsFP to CVC4 capabilities list. (#469)

    • Fix a glitch in allSat computations that incorrectly used values of internal variables in model construction.

    • SBV now directly uses the new seq.nth function from z3 for sequence element access, instead of implementing it internally.