name: ltlf2dfa
description: LTLf and PLTLf to Deterministic Finite-state Automata (DFA)
license_spdx: LGPL-3.0 or GPL-3.0+
version: 1.0.2
spec_version: 1.0
home_url: https://github.com/whitemech/ltlf2dfa.git
news_url: https://libraries.io/pypi/ltlf2dfa/versions.atom
date: 2022-02-25
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/ltlf2dfa?number=1.0.2
vcs_tool: git
vcs_repository: https://github.com/whitemech/LTLf2DFA
vcs_branch: master
