« Changelog History


sbv v1.1 Release Notes

Release Date: 2012-02-14 // about 12 years ago

  • Library:

    • Rename bitValue to sbvTestBit
    • Add sbvPopCount
    • Add a custom implementation of 'popCount' for the Bits class instance of SBV (GHC >= 7.4.1 only)
    • Add 'sbvCheckSolverInstallation', which can be used to check that the given solver is installed and good to go.
    • Add 'generateSMTBenchmarks', simplifying the generation of SMTLib benchmarks for offline sharing.