alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: buddy  ]

Paket: libbdd0c2 (2.4+dfsg-1)

Länkar för libbdd0c2

Screenshot

Debianresurser:

Hämta källkodspaketet buddy:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libbdd0c2

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libbdd0c2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
armhf 46,7 kbyte95,0 kbyte [filförteckning]