libbdd0c2 2.4-11 (armhf binary) in ubuntu focal

 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.

Details

Package version:
2.4-11
Source:
buddy 2.4-11 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Downloadable files