FLLOAT
A Python implementation of the FLLOAT library.
Free software: MIT license
Documentation: https://flloat.readthedocs.io.
Install
From PyPI:
pip install flloat
From repo (e.g. from branch develop):
pip install git+https://github.com/MarcoFavorito/flloat@develop#egg=flloat
You might need to complete some extra step. Please check the following installation guides: * pythomata
Features
- Syntax, semantics and parsing support for the following formal languages:
Propositional Logic;
Linear Temporal Logic on Finite Traces
Linear Dynamic Logic on Finite Traces;
Conversion from LTLf/LDLf formula to NFA, DFA and DFA on-the-fly
Credits
This package was created with Cookiecutter and the audreyr/cookiecutter-pypackage project template.
History
0.1.0 (2018-04-11)
First release on PyPI.
0.1.1 (2018-04-15)
- Syntax, semantics and parsing support for the following formal languages:
Propositional Logic;
Linear Dynamic Logic on Finite Traces;
Conversion from LDLf formula to NFA, DFA and DFA on-the-fly
0.1.3 (2018-04-20)
Support for LTLf formulas and conversion into NFA, DFA and DFA on-the-fly
1 maintainer
Release files for flloat 0.1.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| flloat-0.1.3.tar.gz | 26.6 kB | Details |
Release files / flloat-0.1.3.tar.gz
| Download URL | flloat-0.1.3.tar.gz |
|---|---|
| Size | 26.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
6dff0cc0ae0e0756d8b1c423fde98000c14714e5f490b764f75d38c212932315
|
|
BLAKE2b-256 checksum How to use checksums |
17caf248ecdccd91208e3f3e034fdc300c4d0a1c5a39cf8b270dd2d0701655e3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
