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.