ブール関数をあつかうC++ライブラリを作った

utisam/boloq · GitHub

BDD を std::shared_ptr とか std::unordered_map で実装してみた. 名前も標準ライブラリを意識した感じでつけてみた.