软件包：libghc-simple-smt-dev（0.9.7-2 以及其他的） [debports]
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.
其他与 libghc-simple-smt-dev 有关的软件包
|
|
|
|
-
- dep: libc6.1 (>= 2.1.3)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6.1-udeb
-
- dep: libghc-base-dev-4.17.2.0-09ce5
- 本虚包由这些包填实： ghc
-
- dep: libghc-process-dev-1.6.17.0-44ba3
- 本虚包由这些包填实： ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多精度运算库