Skip to main content

Python library for building and simulating probabilistic timed automata.

Project description

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

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

probabilistic-timed-automata-0.1.2.tar.gz (14.8 kB view details)

Uploaded Source

Built Distribution

File details

Details for the file probabilistic-timed-automata-0.1.2.tar.gz.

File metadata

  • Download URL: probabilistic-timed-automata-0.1.2.tar.gz
  • Upload date:
  • Size: 14.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.6.0 requests/2.24.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for probabilistic-timed-automata-0.1.2.tar.gz
Algorithm Hash digest
SHA256 e8fd13b46ad53d231b21b512cdcab1b5a7a352902cd31c49b0e4bf7ef7c3e6df
MD5 0859d57a259b3b030bd2df06c3e09490
BLAKE2b-256 367ee8ca568242b2aece9f37ffc81299e38b872aaab34e842aab56f84b4c8001

See more details on using hashes here.

File details

Details for the file probabilistic_timed_automata-0.1.2-py3-none-any.whl.

File metadata

  • Download URL: probabilistic_timed_automata-0.1.2-py3-none-any.whl
  • Upload date:
  • Size: 21.0 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.6.0 requests/2.24.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for probabilistic_timed_automata-0.1.2-py3-none-any.whl
Algorithm Hash digest
SHA256 e22fda48b0e1a7a38b67eafa4e9f6a9a0d9f6ac8067b31b25510594589ea7739
MD5 3063f8edb3910b34956b50755e26a97b
BLAKE2b-256 c4de30a8c373b0d7683546fa6582fd89b87a85764913700f4643bdef864e4556

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page