sbv
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
homepage ↗ hackage: sbv github: LeventErkok/sbv
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 11.0 | 1 | 2 d | details › |
Versions & arches
Use flags of 11.0
- skip-hlint-tester Do not build the HLint tester