Formal Concept Analysis with BDD (using BuDDy and CUDD libraries)