Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-presburger  ]

Paketti: libghc-presburger-doc (1.3.1-8)

Links for libghc-presburger-doc

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-presburger:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

decision procedure for quantifier-free linear arithmetic; documentation

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.

This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Muut pakettiin libghc-presburger-doc liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-presburger-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 71.2 kt822.0 kt [tiedostoluettelo]