Bolt Blazingly fast LTL learning. This main branch is for LTL_f (over finite traces). To learn LTL over infinite traces, using the branch LTL_infty