Bdd Manipulation/Rounding Not Working

[amad725]

Hi Dr. Soeken,

I am trying to use comb_approx for bdd rounding (developed in maniac), but its not working for me. Couldn't find the command in cirkit 3.0. It isn't working on cirkit 2.0 either. Command "cirkit> comb_approx -b -m 2 -l 3" results in "[e] not implemented yet, use approximate_bdd program". Uncommented line 17-31 in programs/CMakeList.txt to build approximate_bdd, but got the following error about the missing header file "core/utils/program_options.hpp", which wasn't available in any directory.
I would appreciate if you could look into the issue.

Best
Amad