Metadata-Version: 2.1
Name: pyuutils
Version: 0.0.1
Summary: Python wrapper for Uppaal UUtils.
Home-page: https://github.com/HansBug/pyuutils
Author: HansBug
Author-email: hansbug@buaa.edu.cn
License: GPL-3.0 License
Keywords: Python Wrapper of Uppaal UUtils
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.8
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: hbutils>=0.9
Requires-Dist: enum_tools>=0.9.0
Provides-Extra: build
Requires-Dist: pybind11[global]; extra == "build"
Requires-Dist: build>=0.7.0; extra == "build"
Requires-Dist: auditwheel>=4; extra == "build"
Requires-Dist: cmake; extra == "build"
Provides-Extra: doc
Requires-Dist: Jinja2>=3.0.0; extra == "doc"
Requires-Dist: sphinx>=3.2.0; extra == "doc"
Requires-Dist: sphinx_rtd_theme>=0.4.3; extra == "doc"
Requires-Dist: enum_tools>=0.9.0; extra == "doc"
Requires-Dist: sphinx-toolbox; extra == "doc"
Requires-Dist: plantumlcli>=0.0.4; extra == "doc"
Requires-Dist: packaging; extra == "doc"
Requires-Dist: sphinx-multiversion>=0.2.4; extra == "doc"
Requires-Dist: where>=1.0.2; extra == "doc"
Requires-Dist: numpy<2,>=1.19; extra == "doc"
Requires-Dist: easydict<2,>=1.7; extra == "doc"
Requires-Dist: scikit-learn>=0.24.2; extra == "doc"
Requires-Dist: nbsphinx>=0.8.8; extra == "doc"
Requires-Dist: ipython>=7.16.3; extra == "doc"
Requires-Dist: psutil>=5.8.0; extra == "doc"
Requires-Dist: ipykernel>=6.15; extra == "doc"
Requires-Dist: py-cpuinfo>=8.0.0; extra == "doc"
Requires-Dist: pandas; extra == "doc"
Provides-Extra: test
Requires-Dist: coverage>=5; extra == "test"
Requires-Dist: mock>=4.0.3; extra == "test"
Requires-Dist: flake8~=3.5; extra == "test"
Requires-Dist: testfixtures>=6.18.5; extra == "test"
Requires-Dist: pytest~=6.2.5; extra == "test"
Requires-Dist: pytest-cov~=3.0.0; extra == "test"
Requires-Dist: pytest-mock~=3.6.1; extra == "test"
Requires-Dist: pytest-xdist>=1.34.0; extra == "test"
Requires-Dist: pytest-rerunfailures~=10.2; extra == "test"
Requires-Dist: pytest-timeout~=2.0.2; extra == "test"
Requires-Dist: pytest-benchmark~=3.4.0; extra == "test"
Requires-Dist: easydict<2,>=1.7; extra == "test"
Requires-Dist: testtools>=2; extra == "test"
Requires-Dist: where>=1.0.2; extra == "test"
Requires-Dist: responses>=0.20.0; extra == "test"
Requires-Dist: natsort; extra == "test"

# pyuutils



Python Wrapper for Uppaal [UUtils](https://github.com/UPPAALModelChecker/UUtils).



This wrapper project is merely a simple experimental library with limited practical value. In the future, we will

consider supporting the wrapping of more Uppaal C++ libraries into Python versions for inclusion in this project.



## Installation



### From PyPI



```shell

pip install pyuutils

```



The following platforms are supported:



1. Most of the common linuxes and architectures

2. Windows AMD64 (win32/arm64 not ported)

3. MacOS x86_64/arm64 (python3.8 version of arm64 not supported)



### From Source Code



Install the system requirements



* On Ubuntu



```shell

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

```



* On Windows



```shell

choco install ninja make mingw

```



* On macOS



```shell

brew install git ninja make gcc

```



And then install the code



```shell

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 .

```



## How to Use



See [our documentation](https://hansbug.github.io/pyuutils/index.html).



Only approximately half of the features in UUtils have been ported here. We can port more if necessary.



