LTL Augmentation: Augment LTL Formulas with Outside Knowledge
System Requirements
The software is written in Python 3.10 and Rust, and was tested on Ubuntu 22.04.
Building & Testing
To build the Rust code simply run
cargo build
This will automatically download all required dependencies.
You can run the tests with
cargo test
Python Bindings
The project provides Python bindings for the most important functionalities. To install the Python package, you need to run
pip install -v .
The -v switch activates additional output during the build process.
For development purposes, it can make sense to install the Python bindings directly via maturin:
maturin develop
maturin can be installed via pip.
For further options, please see its documentation.
You can run the main.py script to check whether the Python bindings were installed properly.
Using Pre-Commit Hooks
This project uses pre-commit to ensure that formatters and linters automatically run when committing files. To use pre-commit, install it via pip:
pip install pre-commit
Alternatively, pre-commit is also included in the optional dev dependencies of this project.
Then, install the pre-commit hooks so that they automatically run before each commit:
pre-commit install
To run the pre-commit hooks manually, use
pre-commit run --all-files
1 maintainer
Metadata
1 maintainer
Release files for ltl-augmentation 0.1.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| ltl_augmentation-0.1.0.tar.gz | 37.4 kB | Details |
Built distributions (wheels)
Total release size: 7.6 MB
Release files / ltl_augmentation-0.1.0.tar.gz
| Download URL | ltl_augmentation-0.1.0.tar.gz |
|---|---|
| Size | 37.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
ffc76d23ccefd26d926ddb6611ed78cbd6cb58bc858b0d4811108548d71dfd4b
|
|
BLAKE2b-256 checksum How to use checksums |
78926bdc73ccba49f9036c3aa7c1ee3a2f34f8cb8a3d876ec3e295ffa5daf1fe
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp313-cp313-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp313-cp313-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 579.5 kB |
| Tags | CPython 3.13 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
d2d9fa8951c72f24a5f7de8038b3d742a0869b53cfca44de666c818b62399da9
|
|
BLAKE2b-256 checksum How to use checksums |
acd3a444ae4f6a7f7ac9d3caaf8b82c39516670b812482c914eb15b1ebc2f672
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 506.4 kB |
| Tags | CPython 3.13 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
4080f88c6ff56db53dd272cfc49992f68c70885574e1d2f56ef0a04c680a2d68
|
|
BLAKE2b-256 checksum How to use checksums |
f899ce2ce5341f2b5e4ea6228f2c1c5e44769b6c4e2007d127bf1f69965b6b4e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp312-cp312-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp312-cp312-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 579.1 kB |
| Tags | CPython 3.12 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
50dc0ee12bc25a34aba0f172f91e4b3961e231004b371a359260a1eaca59048e
|
|
BLAKE2b-256 checksum How to use checksums |
feb0ed6a712bf7ebd04a1c728906dc3ad0b9f27b4a7b36c341ce4763cb7ffb17
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 506.2 kB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
9cd9056485ecec619cd1905cc720e0d644e63aaa884539146b8bd25c9a7d8a61
|
|
BLAKE2b-256 checksum How to use checksums |
8c9ebb5193bea5ac472feafce29e0e49d12cffb533b1c55bddf2eb39ff0f0842
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp311-cp311-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp311-cp311-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 578.3 kB |
| Tags | CPython 3.11 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
27a067a7bd194a023dd745d759037f6676a0ad07d809896065af8c29d55a3ec1
|
|
BLAKE2b-256 checksum How to use checksums |
237e20ed38ab022a2c76c8a3ee055b8e436c3da4015daface91398af3b4482e1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 505.4 kB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
b0c60e54b1f118dfb2fa97dbe0f491ba1997232a927c12d473f3c6a0280f5a7f
|
|
BLAKE2b-256 checksum How to use checksums |
ecb9823e03a569281a38c24f5b4fbf8d7b822d1573fc81484e2ea0580ef05e72
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp310-cp310-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp310-cp310-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 578.8 kB |
| Tags | CPython 3.10 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
d6183ece318bc684990b0aeea1fda0f26c0973b8e8c4622636af9f27d8580f9e
|
|
BLAKE2b-256 checksum How to use checksums |
c6431b642ac2cdd5a62ce20eaa0cef43a607585cc0b16d3d16797dde4f58f22f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 505.5 kB |
| Tags | CPython 3.10 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
15387f34d7e62945d638fd0c0ca435297d7fd720f12380f6206378418286e67a
|
|
BLAKE2b-256 checksum How to use checksums |
f5c78fe9882b87f6bc68c7b9e040c2011769eec31d18c5d53c0f6c90a41534a7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp39-cp39-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp39-cp39-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 579.2 kB |
| Tags | CPython 3.9 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
015ab5732c73a013d84ef5545d884c9065456dd688286929af1717494578b354
|
|
BLAKE2b-256 checksum How to use checksums |
c58b31f4ce529562c2dfec48a86d9ff1aad3b0023c3cb3df7daeb0ed537f2b61
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 506.4 kB |
| Tags | CPython 3.9 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
e4b0783725dcd7ba1e1cc1da08a3e7ae15c0fe371e62932397f94001228bb4d0
|
|
BLAKE2b-256 checksum How to use checksums |
83f67c7ed6e68c709af2f626a99bb70fa8f51f0748c82042a1a50ebd5668f8ee
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp38-cp38-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp38-cp38-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 578.8 kB |
| Tags | CPython 3.8 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
25b76f7cdf792dd14706b439efbfb5069575e7cde93531a73df40244150556f5
|
|
BLAKE2b-256 checksum How to use checksums |
35a5308716f2aab43a5ce11032e124347333e40ff399142d5302ba25ab52350b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 505.9 kB |
| Tags | CPython 3.8 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
6a5bfc4e2c711e5f4481baba74299730b40725566333ba8bb8f4416f4c5d177e
|
|
BLAKE2b-256 checksum How to use checksums |
b739a0a9d21321d347bba602c0c95265dc3124754449bab7fae594e55eb43dac
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp37-cp37m-musllinux_1_2_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp37-cp37m-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 579.4 kB |
| Tags | CPython 3.7 CPython 3.7 pymalloc Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
49e16e2372e347ab9b7aa7c8a1e23d7849d316aa69035c7ffe813ce472d00f72
|
|
BLAKE2b-256 checksum How to use checksums |
53ba6b688d0f86f1c1e9c5ef5dfddf358b3bea247ae6ae976a6b6460afef7e90
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
Release files / ltl_augmentation-0.1.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | ltl_augmentation-0.1.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 506.1 kB |
| Tags | CPython 3.7 CPython 3.7 pymalloc Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
e4c1c0cfb8b7b945510dfa884337770ee08d474e8d91c0b50f03e73138cc4018
|
|
BLAKE2b-256 checksum How to use checksums |
07c5ac7b70266e6f67416f73064b041b8e9d31f49bd46d44695c547b4dfe1573
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.12
|
