boolector
SMT solver for bit-vectors and arrays
🌐 Site do projeto: http://fmv.jku.at/boolector/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 1.5.118.6b56be4.121013-1.3 | amd64 | 0.3 MB | .deb |
Ogum | 3.2.4-1 | amd64 | 0.5 MB | .deb |
Informações do pacote
| Seção | science |
|---|---|
| Prioridade | optional |
| Mantenedor | Michael Tautschnig <mt@debian.org> |
| Site do projeto (upstream) | <a href="http://fmv.jku.at/boolector/" rel="noopener">http://fmv.jku.at/boolector/</a> |
| Depende de | libc6 (>= 2.34) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |