search

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages
MIT License
11 stars 2 forks source link

Replace Adiar's specialization with using `builder` from v1.2.0 #50

Closed SSoelvsten closed 1 year ago

SSoelvsten commented 1 year ago

Currently, all base cases are specially constructed for Adiar with its node stream. Yet, with version 1.2.0 it added the bdd_builder and zdd_builder classes to create a BDD / ZDD. Except for being unable to account for duplicate creation of the same node it supports using the common DFS-based code used for all other BDD packages.

SSoelvsten commented 1 year ago

This also fixes the breaking of the System Integration tests for Adiar that have arisen with the refactor in: https://github.com/SSoelvsten/adiar/pull/397