remove_ltl_2013
b75459be · Get rid of flawed LTL implementation ·