[ Bron: haskell-what4 ]
Pakket: haskell-what4-utils (1.5.1-4 en anderen)
Verwijzigingen voor haskell-what4-utils
Debian bronnen:
Het bronpakket haskell-what4 downloaden:
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
Solver-agnostic symbolic values support for issuing queries
What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.
Andere aan haskell-what4-utils gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface library runtime
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
-
- dep: libnuma1 (>= 2.0.11)
- Libraries for controlling NUMA policy
-
- dep: zlib1g (>= 1:1.1.4)
- compressiebibliotheek - programma's
haskell-what4-utils downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 1.5.1-4+b3 | 4.129,4 kB | 29.156,0 kB | [overzicht] |
| arm64 | 1.5.1-4+b2 | 4.108,9 kB | 32.455,0 kB | [overzicht] |
| armhf | 1.5.1-4+b4 | 5.958,9 kB | 37.249,0 kB | [overzicht] |
| i386 | 1.5.1-4+b4 | 6.100,4 kB | 46.800,0 kB | [overzicht] |
| ppc64el | 1.5.1-4+b2 | 3.953,3 kB | 44.680,0 kB | [overzicht] |
| riscv64 | 1.5.1-4+b2 | 5.447,6 kB | 36.095,0 kB | [overzicht] |
| s390x | 1.5.1-4+b2 | 8.113,5 kB | 61.875,0 kB | [overzicht] |