Debian logoDebian Screenshots >

libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries

Description

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 http://www.haskell.org/ 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.


Homepage

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


Statistics

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