~tapaal-ltl/verifypn/reach-aut-stub

Viewing all changes in revision 267.

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-03-19 12:45:08 UTC
  • Revision ID: nikolaj@njulrik.dk-20210319124508-xztoihw9nhyx7z0v
LTL engine now allows combination of stubborn sets and heuristics

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: