全部搜尋項
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 原始碼: buddy  ]

套件:libbdd-dev(2.4+dfsg-1)

libbdd-dev 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 buddy

維護小組:

外部的資源:

相似套件:

Binary decision-diagram library (development)

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more.

libbdd-dev is the BuDDy development package containing a static library and the include files needed for building applications using BuDDy.

標籤: 軟體開發: C 開發, 函式庫, 實做語言: C, 角色: 開發用函式庫

其他與 libbdd-dev 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 libbdd-dev

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
arm64 297。9 kB838。0 kB [檔案列表]