Package: libghc-presburger-prof (1.3.1-10 and others) [debports]

Links for libghc-presburger-prof

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

Beslutningsprocedure for kvantificeringsfri lineær regning - profileringsbiblioteker

Beslutningsproceduren er baseret på algoritmen brugt i CVC4, der selv er baseret på Omegatesten.

Denne pakke tilbyder et bibliotek for programmeringssproget Haskell, kompileret for profilering. Se http://www.haskell.org/ for yderligere information om Haskell.

Other Packages Related to libghc-presburger-prof

depends

recommends

suggests

enhances

dep: libghc-base-prof-4.17.2.0-09ce5

virtual package provided by ghc-prof
dep: libghc-containers-prof-0.6.7-a1650

virtual package provided by ghc-prof
dep: libghc-presburger-dev (= 1.3.1-10+b1)

Beslutningsprocedure for kvantificeringsfri lineær regning
dep: libghc-pretty-prof-1.1.3.6-1aa0a

virtual package provided by ghc-prof

Download libghc-presburger-prof

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.3.1-10+b1	205.6 kB	2,337.0 kB	[list of files]