genltl should learn the beem formulas
Add an option to genltl to output these formulas https://github.com/mklokocka/seminator/blob/master/formulae/beem.ltl and cite the BEEM benchmark.
Add an option to genltl to output these formulas https://github.com/mklokocka/seminator/blob/master/formulae/beem.ltl and cite the BEEM benchmark.