-
Committer:
Jiri Srba
-
Date:
2021-10-27 20:09:31 UTC
-
mfrom:
(251.2.4 verifypn)
-
Revision ID:
srba@cs.aau.dk-20211027200931-s3s8ggyzmyjsip79
merged in lp:~tapaal-ltl/verifypn/simple-ltl-heuristics simplifying the heuristic search selection and back to Bison 3.5