flloat 0.1.3

A Python implementation of the FLLOAT library. link: https://github.com/RiccardoDeMasellis/FLLOAT.git

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