No project description provided
Project description
SpaTiaL - Library Code
This is the source code for the library itself.
Installation from Source Code
We use MONA to convert LTLf formulae to DFA. If you want to use the automaton-based planning, install it first.
Check the website for installation instructions or try to install with apt. We are using ltlf2dfa to call MONA in python.
That library currently does not work with Windows.
sudo apt install mona
- Clone the repository and navigate into it:
$ git clone https://github.com/KTH-RPL-Planiacs/SpaTiaL.git cd SpaTiaL cd spatial-lib - This project uses poetry to handle dependencies. Please make sure you have poetry installed and run:
poetry install - Try running the unit tests to see if everything works:
poetry run python -m unittest discover
Repository Structure
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file spatial_spec-0.1.0.tar.gz.
File metadata
- Download URL: spatial_spec-0.1.0.tar.gz
- Upload date:
- Size: 17.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.4.2 CPython/3.11.1 Windows/10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
4f36ce63b575593fa9481063d76d4231e36237d88a2a83d56618be70719c8d95
|
|
| MD5 |
7744702eb063e632fd95360f6211818e
|
|
| BLAKE2b-256 |
9e240ba1afb89d734846133f44979e6115e5902ca55ac81eae86bf73ff33b915
|
File details
Details for the file spatial_spec-0.1.0-py3-none-any.whl.
File metadata
- Download URL: spatial_spec-0.1.0-py3-none-any.whl
- Upload date:
- Size: 19.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.4.2 CPython/3.11.1 Windows/10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3f71a7e0f14b58b8e530d98709be0b5eb698110efe2c45f12f8e0e35c628e74b
|
|
| MD5 |
58fcb50d4e8e946f6f6a2d4703c60edd
|
|
| BLAKE2b-256 |
65409a8eaeb6a97a169f7f8b3f51e175cff071272a21963cd002b3d10058a7ac
|
