Search results

Single threaded as a feature (supporting WASM/WebAssembly?)

Status: Open.

#39 In OxiDD/oxidd;

· TiemenSch opened on Oct 28, 2025

Possible Memory Leak in BDDManager

Status: Open.

#37 In OxiDD/oxidd;

· zschaller27 opened on Aug 20, 2025

MTBDDs without e.g. division?

Status: Open.

#33 In OxiDD/oxidd;

· Philipp15b opened on Apr 3, 2025

--dddmp-export is broken

Status: Open.

#30 In OxiDD/oxidd;

· h3ssto opened on Mar 9, 2025

Creation of Boolean Variables as ZBDDs

Status: Open.

#22 In OxiDD/oxidd;

· sirandreww opened on Oct 14, 2024

Iterating over all satisfying assignments for a ZBDD?

Status: Open.

#20 In OxiDD/oxidd;

· johnrudge opened on Sep 7, 2024

Set Operator Aliases

Status: Open.

#15 In OxiDD/oxidd;

· ssoelvsten opened on May 27, 2024