~verifypn-maintainers/verifypn/new-trunk

Viewing all changes in revision 255.

  • Committer: Jiri Srba
  • Date: 2021-10-29 12:13:53 UTC
  • mfrom: (254.1.1 trunk)
  • Revision ID: srba@cs.aau.dk-20211029121353-huz59o81d2vqkgt5
merged in lp:~verifypn-cpn/verifypn/relevant-inhib-fix fixing a problem with inhibitor arcs in reduction rule

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: