Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-libs/
buddy

Binary Decision Diagram Package

https://sourceforge.net/projects/buddy/

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
2.4-r1  : 0 EAPI 7 ~amd64 ~x86?alpha?arm?arm64?hppa?mips ~ppc?ppc64?riscv?sparc

Package Metadata

  • Upstream
    Remote-Idhttps://sourceforge.net/projects/buddy/
  • Full description
    A Binary Decision Diagram library, with :many highly efficient vectorized BDD operations,dynamic variable reordering,automated garbage collection,a C++ interface with automatic reference counting,and much more.
  • USE flags
    Global Use Flags
  • License
    buddy
  • Maintainer(s)
    Gentoo Science Project