Library for creating and manipulation bool expressions. It allow to create free form bool exression and gives function to convert it to full disjunctive normal form. We have a plan to give functionaly for simplification full disjunctive normal form for disjunctive normal form.