Paket: libghc-presburger-prof (1.3.1-10 und andere) [debports]

Links für libghc-presburger-prof

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [github.com]

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.

Andere Pakete mit Bezug zu libghc-presburger-prof

hängt ab von

empfiehlt

schlägt vor

erweitert

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

virtuelles Paket, bereitgestellt durch ghc-prof
dep: libghc-containers-prof-0.6.7-a1650

virtuelles Paket, bereitgestellt durch ghc-prof
dep: libghc-presburger-dev (= 1.3.1-10+b1)

decision procedure for quantifier-free linear arithmetic
dep: libghc-pretty-prof-1.1.3.6-1aa0a

virtuelles Paket, bereitgestellt durch ghc-prof

libghc-presburger-prof herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.3.1-10+b1	205,6 kB	2.337,0 kB	[Liste der Dateien]