Installation

pyuutils is currently hosted on PyPI. It required python >= 3.8.

You can simply install pyuutils from PyPI with the following command:

pip install pyuutils

You can also install with the newest version through GitHub:

  • On Ubuntu

apt-get install -y git ninja-build make gcc g++

  • On Windows

choco install ninja make mingw

  • On macOS

brew install git ninja make gcc

And then install the code

git clone https://github.com/HansBug/pyuutils.git
cd pyuutils
git submodule update --init  # check out the submodule
pip install -U -r requirements-build.txt
make bin  # build UUtils
pip install .

You can check your installation by the following python script:

1from pyuutils.config.meta import __TITLE__, __AUTHOR__, __VERSION__, __DESCRIPTION__
2
3if __name__ == '__main__':
4    print(__TITLE__, __VERSION__)
5    print('Developed and maintained by', __AUTHOR__)
6    print(__DESCRIPTION__)

The output should be like below, which means your installation is successful.

1pyuutils 0.0.1
2Developed and maintained by HansBug
3Python wrapper for Uppaal UUtils.

pyuutils is still under development, you can also check out the documents in stable version through https://hansbug.github.io/pyuutils/main/index.html.