miniBDD(a Minimalistic BDD Library) は、Oxford 大学において教育目的に作られた軽量のBDD(Binary Decision Diagram)ライブラリである。 miniBDD – a Minimalistic BDD LibraryminiBDD is a very lightweight BDD library for teaching purposes. It's not…