Install libghc-presburger-prof by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-presburger-prof
Description:
decision procedure for quantifier-free linear arithmetic; profiling libraries
The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test. . 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://github.com/yav/presburger
Version: 1.3.1-3build1
Section: universe/haskell