https://github.com/hansbug/pyuutils
https://github.com/hansbug/pyuutils
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/hansbug/pyuutils
- Owner: HansBug
- License: gpl-3.0
- Created: 2024-11-27T13:51:53.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-12-04T07:52:31.000Z (over 1 year ago)
- Last Synced: 2025-07-08T13:42:12.064Z (11 months ago)
- Language: Python
- Homepage: https://hansbug.github.io/pyuutils/
- Size: 5.2 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 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.