~tapaal-ltl/verifypn/fire-count-heuristic

Viewing all changes in revision 271.

  • Committer: Simon Virenfeldt
  • Date: 2021-03-31 11:59:09 UTC
  • Revision ID: simwir1@gmail.com-20210331115909-ximwsu014s9tyznj
Implemented fire count heuristic

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: