ltlf2dfa

LTLf and PLTLf to Deterministic Finite-state Automata (DFA)

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install ltlf2dfa

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
1.0.2 2022-02-25  
1.0.1 2021-06-17  
1.0.0.post0 2020-06-05  
1.0.0 2020-05-21  
0.2.2.post0 2018-09-25  
0.2.2 2018-09-24  
0.2.1.post1 2018-09-05  
0.2.1.post0 2018-09-05  
0.2.1 2018-09-05  
0.2.0.post3 2018-09-03  
0.2.0.post2 2018-08-30  
0.2.0.post1 2018-08-19  
0.2.0.post0 2018-08-15  
0.2.0 2018-08-14  
0.1.9 2018-08-06  
0.1.8 2018-08-01  
0.1.7 2018-08-01  
0.1.6 2018-07-31  
0.1.5 2018-07-26  
0.1.4 2018-07-23  
0.1.3 2018-07-22  
0.1.2.post2 2018-07-19  
0.1.2.post1 2018-07-19  
0.1.2.post0 2018-07-19  
0.1.2 2018-07-19  

Issues with this package?

Page last updated 2025-06-27 17:52:31 UTC