semvec/pypi-packages huggingface dataset:
probabilistic-timed-automata 0.1.2
Python library for building and simulating probabilistic timed automata.
Requires Python: ~=3.6

Probabilistic Timed Automata
============================

Python library for building and simulating probabilistic timed automata.

[![codecov](https://codecov.io/gh/anand-bala/probabilistic-timed-automata/branch/master/graph/badge.svg?token=9JIV7X4YEQ)](https://codecov.io/gh/anand-bala/probabilistic-timed-automata)
[![pypi](https://badge.fury.io/py/probabilistic-timed-automata.svg)](https://badge.fury.io/py/probabilistic-timed-automata)

## Installation

To install using `pip` just use:

```shell
$ python3 -m pip install probabilistic-timed-automata
```

For developers, simply clone the repository and run

```shell
$ python3 -m pip install -e .
```

# Usage