Debian logoDebian Screenshots >

libghc-presburger-prof

decision procedure for quantifier-free linear arithmetic; profiling libraries

Description

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.

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://github.com/yav/presburger


Statistics

400 other people were interested in this package here. The newest known version of this software is 1.3.1-7 (Information last updated about 19 hours ago.)