[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Quellcode: haskell-simple-smt ]

Paket: libghc-simple-smt-dev (0.9.1-1 und andere)

Links für libghc-simple-smt-dev

Debian-Ressourcen:

Quellcode-Paket haskell-simple-smt herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [hackage.haskell.org]

Ähnliche Pakete:

A simple way to interact with an SMT solver process.

This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format.

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-simple-smt-dev

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libatomic1 (>= 4.8)

Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt
dep: libc6 (>= 2.3.6-6~)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libghc-base-dev-4.11.1.0-3abbc

virtuelles Paket, bereitgestellt durch ghc
dep: libghc-process-dev-1.6.3.0-871ce

virtuelles Paket, bereitgestellt durch ghc
dep: libgmp10

Mehrfachgenaue, arithmetische Bibliothek

sug: libghc-simple-smt-doc

A simple way to interact with an SMT solver process.; documentation
sug: libghc-simple-smt-prof

A simple way to interact with an SMT solver process.; profiling libraries

libghc-simple-smt-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
i386	0.9.1-1+b2	92,8 kB	655,0 kB	[Liste der Dateien]