読者です 読者をやめる 読者になる 読者になる

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

utisam/boloq · GitHub

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