Recursive implementation of zdd_eval - #35

Open

marek-zeleny wants to merge 3 commits into

trolando:masterfrom

marek-zeleny:zdd_eval_recursive

Commits on Mar 14, 2023

Add recursive implementation of zdd_eval
marek-zeleny
committed
1f0fe84
Add test for recursive implementation of zdd_eval
marek-zeleny
committed
21e361d

Commits on Apr 19, 2024

Add GC check to zdd_eval
marek-zeleny
committed
82dfac3