pll The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis