eventb-to-txt

1.7

Event-B to txt converter

License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.

Published

June 1, 2026

1h ago

Package Registry

PyPI Source

README badge Customize →

License Sources Match

Source	License	Class
Licensie (detected)	MIT	Permissive
PyPI (reported)	MIT	Permissive

Loading dependencies…

License File

Added Removed Expected

Versions

1 version

Version	License	Published	Status
1.7 Latest Viewing	MIT	Jun 1, 2026	Scanned