Bitwuzla
https://bitwuzla.github.io/
An SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions.
- Sources inherited from project science
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:redwil:15.6/bitwuzla && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| bitwuzla-0.8.0.tar.gz | 0002079641 1.98 MB | |
| bitwuzla.changes | 0000000171 171 Bytes | |
| bitwuzla.spec | 0000003899 3.81 KB | |
| cadical-rel-2.1.2.tar.gz | 0000727767 711 KB | |
| symfpu-22d993d.tar.gz | 0000037528 36.6 KB |
Comments 0