Version 5.4-1 of sbv is deprecated.
The latest version of sbv is 10.12-0.
test:SBVBasicTests
Dependencies
- HUnit lib:HUnit >=0
- base lib:base >=4.8 && <5
- data-binary-ieee754 lib:data-binary-ieee754 >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- sbv lib:sbv >=0
- syb lib:syb >=0
Reverse dependencies
None.