-
Salomon Sickert authored
Implement all constructions described in LICS'18 (LTL -> NBA, NGBA, LDBA, LDGBA, DRA, DGRA, DPA) and remove implementation details of these constructions from the base package.
2937ccb7
Implement all constructions described in LICS'18 (LTL -> NBA, NGBA, LDBA, LDGBA, DRA, DGRA, DPA) and remove implementation details of these constructions from the base package.