Install libghc-sbv-prof by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-sbv-prof
Description:
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 http://www.haskell.org/ for more information on Haskell.
Homepage: http://leventerkok.github.com/sbv/
Version: 5.14-1build3
Section: universe/haskell