[ 原始碼: haskell-what4 ]
套件:haskell-what4-utils(1.5.1-3 以及其他的)
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.
其他與 haskell-what4-utils 有關的套件
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, m68k]
- support library providing __atomic built-in functions
-
- dep: libc6 (>= 2.34)
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface library runtime
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]
- Multiprecision arithmetic library
- dep: libgmp10 (>= 2:6.3.0+dfsg) [除 m68k]
-
- dep: zlib1g (>= 1:1.1.4)
- 壓縮函式庫 - 跑程式時用(runtime)
下載 haskell-what4-utils
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
amd64 | 1.5.1-3+b1 | 4,126。6 kB | 28,042。0 kB | [檔案列表] |
arm64 | 1.5.1-3+b1 | 4,138。4 kB | 32,048。0 kB | [檔案列表] |
armel | 1.5.1-3+b2 | 5,423。5 kB | 33,572。0 kB | [檔案列表] |
armhf | 1.5.1-3+b2 | 5,489。6 kB | 33,544。0 kB | [檔案列表] |
i386 | 1.5.1-3+b1 | 6,155。6 kB | 45,888。0 kB | [檔案列表] |
m68k (非官方移植版) | 1.3-4 | 3,581。8 kB | 34,936。0 kB | [檔案列表] |
mips64el | 1.5.1-3+b1 | 6,526。6 kB | 67,703。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 1.5.1-3+b1 | 4,454。7 kB | 55,832。0 kB | [檔案列表] |
ppc64el | 1.5.1-3+b1 | 4,593。3 kB | 46,800。0 kB | [檔案列表] |
riscv64 | 1.5.1-3+b1 | 5,099。9 kB | 33,867。0 kB | [檔案列表] |
s390x | 1.5.1-3+b1 | 7,252。5 kB | 55,357。0 kB | [檔案列表] |