tascpl: TAS Solver for Classical Propositional Logic | Publicación