Debian logoDebian Screenshots >


symbolic Haskell theorem prover using SMT solving; profiling libraries


Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

This package provides a library for the Haskell programming language, compiled for profiling. See for more information on Haskell.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



418 other people were interested in this package here. The newest known version of this software is 7.13-1+b2 (Information last updated 7 days ago.)