C++ header only library for simple BDD.