GitHub - utisam/boloq: BDD/ZDD library to replesent boolean functions using modern C++ features

BDD/ZDD library to replesent boolean functions using modern C++ features - utisam/boloq
github.com github.com