todas as opções
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Fonte: buddy  ]

Pacote: libbdd0c2 (2.4+dfsg-2 e outros)

Links para libbdd0c2

Screenshot

Recursos de Debian:

Baixe o pacote-fonte buddy:

Mantenedor(a):

Fontes externas:

Pacotes similares:

Binary decision-diagram library (runtime)

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.

Outros pacotes relacionados a libbdd0c2

  • depende
  • recomenda
  • sugere
  • melhora

Download de libbdd0c2

Baixe para todas as arquiteturas disponíveis
Arquitetura Versão Tamanho do pacote Tamanho instalado Arquivos
alpha (porte não oficial) 2.4+dfsg-2 54.5 kB216.0 kB [lista de arquivos]
amd64 2.4+dfsg-2 54.8 kB144.0 kB [lista de arquivos]
arm64 2.4+dfsg-2+b1 52.0 kB153.0 kB [lista de arquivos]
armel 2.4+dfsg-2 46.6 kB123.0 kB [lista de arquivos]
armhf 2.4+dfsg-2 46.6 kB99.0 kB [lista de arquivos]
hppa (porte não oficial) 2.4+dfsg-2 51.2 kB149.0 kB [lista de arquivos]
i386 2.4+dfsg-2 56.8 kB150.0 kB [lista de arquivos]
ia64 (porte não oficial) 2.4+dfsg-2 66.7 kB267.0 kB [lista de arquivos]
loong64 (porte não oficial) 2.4+dfsg-2 50.9 kB152.0 kB [lista de arquivos]
m68k (porte não oficial) 2.4+dfsg-2 44.6 kB119.0 kB [lista de arquivos]
mips64el 2.4+dfsg-2 47.4 kB161.0 kB [lista de arquivos]
ppc64 (porte não oficial) 2.4+dfsg-2 62.0 kB218.0 kB [lista de arquivos]
ppc64el 2.4+dfsg-2 60.6 kB216.0 kB [lista de arquivos]
riscv64 2.4+dfsg-2 56.4 kB128.0 kB [lista de arquivos]
s390x 2.4+dfsg-2 57.7 kB164.0 kB [lista de arquivos]
sh4 (porte não oficial) 2.4+dfsg-2 55.1 kB151.0 kB [lista de arquivos]
sparc64 (porte não oficial) 2.4+dfsg-2 46.7 kB1,052.0 kB [lista de arquivos]
x32 (porte não oficial) 2.4+dfsg-2 53.7 kB139.0 kB [lista de arquivos]