[ forky ]
[ sid ]
[ Source: bitwuzla ]
Package: bitwuzla-doc (0.8.2-2)
Links for bitwuzla-doc
Debian Resources:
Download Source Package bitwuzla:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Documentation for Bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations.
This package contains HTML documentation for Bitwuzla.
Other Packages Related to bitwuzla-doc
|
|
|
|
-
- dep: libjs-jquery
- libreria JavaScript per applicazioni web dinamiche
-
- rec: fonts-font-awesome
- tipo di carattere per icone pensato per l'uso con Twitter Bootstrap
-
- rec: fonts-lato
- famiglia di tipi di carattere del tipo sans-serif
-
- rec: fonts-roboto-slab
- famiglia di tipi di carattere distintiva di Google (slab)
Download bitwuzla-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 200.1 kB | 5,128.0 kB | [list of files] |