whitemech/cynthia

API to transform LTLf formulas in Negation Normal Form

Closed this issue · 0 comments

marcofavorito commented

Ideally, it should be implemented as a Visitor.