gentoo.mahdi.cz
dev-haskell
:sbv
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
http://leventerkok.github.com/sbv/
sbv-8.8
BSD
download
~amd64
haskell