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