Search results

Sylvan 2.0

Status: Open.

#54 In trolando/sylvan;

· trolando opened on Jul 28, 2025

Symbolic PickOneCube(const BddSet &variables)

Status: Open.

#52 In trolando/sylvan;

· ssoelvsten opened on May 28, 2024

Memorycap in sylvan_set_limits

Status: Open.

#39 In trolando/sylvan;

· allrtaken opened on Apr 1, 2023

Fail gracefully when Node Table is full

Status: Open.

#38 In trolando/sylvan;

· ssoelvsten opened on Mar 31, 2023

Writing/reading decision diagrams to/from file

Status: Open.

#20 In trolando/sylvan;

· trolando opened on Jun 22, 2021

Merging ZDD with the master branch

Status: Open.

#19 In trolando/sylvan;

· trolando opened on Jun 22, 2021