Metadata-Version: 2.4
Name: eventb-to-txt
Version: 1.7
Summary: Event-B to txt converter
Author-email: Ilya Shchepetkov <ilya.shchepetkov@gmail.com>, Denis Efremov <efremov@linux.com>
License: MIT
Project-URL: Homepage, https://github.com/eventb-rossi/eventb-to-txt
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: Unix
Classifier: Operating System :: MacOS :: MacOS X
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Dynamic: license-file

![test](https://github.com/eventb-rossi/eventb-to-txt/actions/workflows/test.yml/badge.svg)
[![PyPI pyversions](https://img.shields.io/pypi/pyversions/eventb-to-txt.svg)](https://pypi.python.org/pypi/eventb-to-txt/)
[![PyPI version](https://badge.fury.io/py/eventb-to-txt.svg)](https://badge.fury.io/py/eventb-to-txt)

# 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

    options:
    -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
```

Pass `-o -` to merge all components and write the result to stdout instead of to files.
