-
Committer:
srba.jiri at gmail
-
Date:
2021-04-16 20:59:15 UTC
-
mfrom:
(231.1.16 random-fix)
-
Revision ID:
srba.jiri@gmail.com-20210416205915-8d22jkkj14aff05i
merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling