timewinder 0.1.dev0

Temporal logic models for Python

timewinder

Temporal logic models for Python

Installation

You can simply pip install timewinder.

Developing

Pre-requesites

You will need to install flit (for building the package) and tox (for orchestrating testing and documentation building):

python3 -m pip install flit tox

Clone the repository:

git clone https://github.com/barakmich/timewinder

Running the test suite

You can run the full test suite with:

tox

Building the documentation

You can build the HTML documentation with:

tox -e docs

The built documentation is available at `docs/_build/index.html.