No project description provided
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 Camille editor.
Compatible with Event-B models created with Rodin 3.0 and above.
Installation
$ 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
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.1.tar.gz
(5.6 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file eventb-to-txt-1.1.tar.gz.
File metadata
- Download URL: eventb-to-txt-1.1.tar.gz
- Upload date:
- Size: 5.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c0c432fd21b1752c05d764d9a05f2e93ab55fe906c64989c073fbe2f8837fa6c
|
|
| MD5 |
d828d278e27136f47154c782ddeefadf
|
|
| BLAKE2b-256 |
08202717628824ff64975938e337f02e31fc4c536d702d209779f64ef8ae423b
|
File details
Details for the file eventb_to_txt-1.1-py3-none-any.whl.
File metadata
- Download URL: eventb_to_txt-1.1-py3-none-any.whl
- Upload date:
- Size: 8.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8979cf362f5148c5a3177ac621c8bb036249fd27ab6ff493ff6cb73a3399dd7d
|
|
| MD5 |
89742b4d2ad3bf436ffa2789c211d336
|
|
| BLAKE2b-256 |
a21bda08e857862f6f07de3dba8f9de6cce87fba4df864877546765e0eab949e
|
