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 Dynamic Logic on Finite Traces;
Conversion from 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
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.
Source Distribution
Hashes for flloat-0.1.2.linux-x86_64.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9acd9e11a8d5b913af979d95eee9552621c817cc132501b29d45830020db8d1a |
|
MD5 | 616d0c8824d0b76ed572691a29837631 |
|
BLAKE2b-256 | 2c9bfed5eb6ee071e8cdbea7b6e0af55cd25efba9bd3faf695afb0c310383508 |