make_bcnf() returns Relation, verbose option for bcnf

0 jobs