Formal Concept Analysis with BDD (BuDDy and CUDD)