Event-B to txt converter
Project description
Event-B to txt converter
The eventb-to-txt script simply converts Event-B machines and contexts (.bum and .buc files) to the plain text. This text itself is a valid Event-B model that can be used in the CamilleX editor.
Compatible with Event-B models created with Rodin 3.0 and above.
Installation
$ python3 -m pip install eventb-to-txt
Usage
usage: eventb-to-txt [-h] [-o PATH] [-m] [in_path]
positional arguments:
in_path path to the Event-B model directory or zipfile
optional arguments:
-h, --help show this help message and exit
-o PATH, --out PATH PATH to the output directory
-m, --merge merge all generated txt files into a single txt file
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
eventb-to-txt-1.5.tar.gz
(8.0 kB
view hashes)
Built Distribution
Close
Hashes for eventb_to_txt-1.5-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 298b10e1f8eed49cb66f370f4a3eaabced66508597a42a20561b7df71360bae4 |
|
MD5 | 4c8111f2dc1d4a4c3aca178b1ea40b6d |
|
BLAKE2b-256 | 6d49d239322743fe16fdfceb199abab1cbed31fac4d62d1ee8694fca222bd020 |