Gentoo Portage Overlays - dev-haskell/sbv

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-haskell/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

Screenshots

http://leventerkok.github.com/sbv/

sbv-8.8

~amd64

skip-hlint-tester doc hscolour hoogle profile test

View

Download

Browse License: BSD

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs