Metadata-Version: 2.1
Name: eventb-to-txt
Version: 1.3.2
Summary: Event-B to txt converter
Home-page: https://github.com/17451k/eventb-to-txt
Author: Ilya Shchepetkov
Author-email: ilya.shchepetkov@yandex.ru
License: LICENSE.txt
Description: [![Build Status](https://travis-ci.org/17451k/eventb-to-txt.svg?branch=master)](https://travis-ci.org/17451k/eventb-to-txt)
        ![test](https://github.com/17451k/eventb-to-txt/workflows/test/badge.svg)
        [![Coverage Status](https://coveralls.io/repos/github/17451k/eventb-to-txt/badge.svg?branch=master)](https://coveralls.io/github/17451k/eventb-to-txt?branch=master)
        [![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 Camille 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
        
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
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.5
Description-Content-Type: text/markdown
