~tapaal-ltl/verifypn/ltl-spring-2021

Viewing all changes in revision 253.

  • Committer: Simon Virenfeldt
  • Date: 2021-05-19 11:14:43 UTC
  • Revision ID: simwir1@gmail.com-20210519111443-vafzyplo582b5had
Added temporary option for selecting sum of distance heuristic and log fire count

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: