A Python implementation of the FLLOAT library. link: https://github.com/RiccardoDeMasellis/FLLOAT.git
Project description
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
Project details
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.