Pymodelchecking

- LTL model checking bug fixed
- Supported Python 3.14
- Updated tests

**Full Changelog**: https://github.com/albertocasagrande/pyModelChecking/compare/v1.3.3...v1.3.4

Bugfix for issue 4

Python2 support removal completed

This release is devoted to:
- improving the code of the parsers
- fix bug 2
- improve the documentation

Overwritten ~, &, and | as shortcuts to Not, And, and Or constructors, respectively.
Improved documentation.

Fixed an error in pypi dependency handling.