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.1.linux-x86_64.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0684899bd092f7c1ba3f843c0e07ed532e5756953b8abfdd6c7766068c029dcc |
|
MD5 | 71acc5d24028deb05aea110026f95c56 |
|
BLAKE2b-256 | f02b50c0f093303b09bacdddf6ff60ec7f2aa6b45964a28bb29421e18ab89a37 |