-
* src/ta/taproduct.hh, src/ta/taproduct.cc: improvement of TA Product * src/ltltest/randltl.cc: improvement of WFair Formulas generation * src/taalgos/minimize.cc: improvement of TA minimization
310973f8
* src/ta/taproduct.hh, src/ta/taproduct.cc: improvement of TA Product * src/ltltest/randltl.cc: improvement of WFair Formulas generation * src/taalgos/minimize.cc: improvement of TA minimization