We are happy to announce a new release of TAPAAL 1.3.
This release fixes a number of bugs and brings several new features like:
- parametrized net templates with constants
- optimization of the number of extra tokens in case the net is bounded
- export of nets directly to tikz
- improved layout of the list of queries
- automatic update notifier