Tarkennettu haku
stretch  ] [  buster  ] [  sid  ]
[ Source: haskell-presburger  ]

Paketti: libghc-presburger-prof (1.3.1-6 ja muut)

Links for libghc-presburger-prof

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-presburger:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libghc-presburger-prof liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-presburger-prof

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 1.3.1-6+b2 137.1 kt1,417.0 kt [tiedostoluettelo]
arm64 1.3.1-6+b2 173.2 kt1,761.0 kt [tiedostoluettelo]
armel 1.3.1-6+b2 169.6 kt1,244.0 kt [tiedostoluettelo]
armhf 1.3.1-6+b2 170.0 kt1,244.0 kt [tiedostoluettelo]
i386 1.3.1-6+b2 145.8 kt1,054.0 kt [tiedostoluettelo]
mips 1.3.1-6+b2 168.0 kt1,505.0 kt [tiedostoluettelo]
mips64el 1.3.1-6+b2 180.9 kt2,183.0 kt [tiedostoluettelo]
mipsel 1.3.1-6+b2 170.3 kt1,505.0 kt [tiedostoluettelo]
ppc64el 1.3.1-6+b2 178.5 kt2,443.0 kt [tiedostoluettelo]
s390x 1.3.1-6+b2 162.0 kt1,871.0 kt [tiedostoluettelo]