tympanix / ppdr

(P)rovenance-preserving (P)olicy (D)ata (R)epository

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add support for disjunction in ltl.Node

MarcStorm opened this issue · comments