gentoo.mahdi.cz

  

dev-python:ltlf2dfa


LTLf and PLTLf to Deterministic Finite-state Automata (DFA)
https://github.com/whitemech/ltlf2dfa.git

ltlf2dfa-1.0.2GNU Lesser General Public License v3 or later LGPLv3+
download~amd64 ~x86pypi