{"schema_version":1,"metadata":{"branch":"current","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:41.004595+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/snapshots/packages/amd64/sqlports-7.55.tgz","source_sha256":"fcdbba1b9df747882aa9bab4af20ebec8dac10655069c90f1cd4145c06e1235e","package_count":12031,"source_kind":"sqlports"},"package":{"name":"cudd-3.0.0p1","path":"devel/cudd","url":"/packages/current/devel/cudd/","comment":"Colorado University Decision Diagram","homepage":"https://github.com/ivmai/cudd","maintainer":"Alessandro De Laurenzis <just22@atlantide.mooo.com>","description":"CUDD (Colorado University Decision Diagram) is a package written in C\nfor the manipulation of decision diagrams.  It supports binary decision\ndiagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed\nBDDs (ZDDs).\n","package_architecture":"amd64","stem":"cudd","readme":null,"dependencies":[{"path":"devel/doxygen","type":"build","package_spec":"","url":"/packages/current/devel/doxygen/"},{"path":"print/texlive/base","type":"build","package_spec":"","url":"/packages/current/print/texlive/base/"},{"path":"devel/gmake","type":"build","package_spec":"","url":"/packages/current/devel/gmake/"},{"path":"textproc/gdiff","type":"test","package_spec":"","url":"/packages/current/textproc/gdiff/"}],"reverse_dependencies":{"count":1,"url":"/packages/data/4d/4d68f21a93c64b89262245067abc4e213589cd2974ffb883bbf3b0b4784435bd.json"},"categories":["devel"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64","alpha","hppa","m88k","sh"],"not_for_architectures":[]}}