cvc4
automated theorem prover for SMT problems
🌐 Site do projeto: https://cvc4.github.io/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 1.8-3+b4 | amd64 | 0.1 MB | .deb |
Ogum | 1.8-5+b1 | amd64 | 0.1 MB | .deb |
Informações do pacote
| Seção | math |
|---|---|
| Prioridade | optional |
| Mantenedor | Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> |
| Site do projeto (upstream) | <a href="https://cvc4.github.io/" rel="noopener">https://cvc4.github.io/</a> |
| Depende de | libcvc4-7 (= 1.8-3+b4), libcvc4parser7 (= 1.8-3+b4), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.0), libreadline8t64 (>= 6.0), libstdc++6 (>= 13.1) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |