Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: haskell-presburger  ]

Paket: libghc-presburger-dev (1.3.1-6 und andere)

Links für libghc-presburger-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket haskell-presburger herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

decision procedure for quantifier-free linear arithmetic

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. See http://www.haskell.org/ for more information on Haskell.

Andere Pakete mit Bezug zu libghc-presburger-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libghc-presburger-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 1.3.1-6+b2 163,3 kB1.406,0 kB [Liste der Dateien]
arm64 1.3.1-6+b2 214,6 kB2.165,0 kB [Liste der Dateien]
armel 1.3.1-6+b3 222,4 kB1.657,0 kB [Liste der Dateien]
armhf 1.3.1-6+b2 224,4 kB1.622,0 kB [Liste der Dateien]
i386 1.3.1-6+b2 165,2 kB1.098,0 kB [Liste der Dateien]
mips 1.3.1-6+b2 191,9 kB1.973,0 kB [Liste der Dateien]
mips64el 1.3.1-6+b2 216,8 kB2.662,0 kB [Liste der Dateien]
mipsel 1.3.1-6+b2 203,7 kB1.973,0 kB [Liste der Dateien]
ppc64el 1.3.1-6+b2 226,2 kB2.622,0 kB [Liste der Dateien]
s390x 1.3.1-6+b2 231,7 kB2.416,0 kB [Liste der Dateien]