[ buster ]
[ Fonte: ladr ]
Pacote: libladr4 (0.0.200911a-2.1 e outros)
Links para libladr4
Recursos de Debian:
- Relatórios de bug
- Informação de desenvolvedor(a)
- Debian Changelog
- Arquivo de copyright
- Rastreador de patch Debian
Baixe o pacote-fonte ladr:
Mantenedor(a):
Fontes externas:
- Pagina principal [www.cs.unm.edu]
Pacotes similares:
the LADR deduction library
LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator.
Outros pacotes relacionados a libladr4
|
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU Biblioteca C: Bibliotecas compartilhadas
também um pacote virtual fornecido por libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.4) [armhf]
Download de libladr4
| Arquitetura | Versão | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|---|
| amd64 | 0.0.200911a-2.1+b2 | 183.8 kB | 520.0 kB | [lista de arquivos] |
| arm64 | 0.0.200911a-2.1+b2 | 153.3 kB | 472.0 kB | [lista de arquivos] |
| armhf | 0.0.200911a-2.1+b2 | 155.1 kB | 344.0 kB | [lista de arquivos] |
| i386 | 0.0.200911a-2.1+b2 | 206.0 kB | 572.0 kB | [lista de arquivos] |