2015-01-12 ブール関数をあつかうC++ライブラリを作った C++ utisam/boloq utisam/boloq · GitHub BDD を std::shared_ptr とか std::unordered_map で実装してみた. 名前も標準ライブラリを意識した感じでつけてみた.