utisam/boloq

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