Package: ltl2ba

Upstream info
Summary: Fast translation from LTL formulas to Buchi automata
Description:
URL: http://www.lsv.fr/~gastin/ltl2ba/
Owner: jjames (jjames)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/ltl2ba
Koschei: https://koschei.fedoraproject.org/package/ltl2ba
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
f37 base 1.3-6.fc37
f36 base 1.3-5.fc36
f35 base 1.3-4.fc35
f34 base 1.3-3.fc34
f33 base 1.3-2.fc33
f32 updates 1.3-1.fc32
  base 1.2-6.fc32
f31 base 1.2-4.fc31
f30 base 1.2-3.fc30
f29 base 1.2-2.fc29
f28 updates 1.2-1.fc28
  base 1.1-16.fc27
f27 updates 1.2-1.fc27
  base 1.1-16.fc27
f26 base 1.1-14.fc26
f25 base 1.1-13.fc24
f24 base 1.1-13.fc24
f23 base 1.1-12.fc23
f22 base 1.1-11.fc22
f21 base 1.1-10.fc21
f20 base 1.1-7.fc20
f19 base 1.1-6.fc19
f18 base 1.1-5.fc18
f17 base 1.1-4.fc17
f16 base 1.1-3.fc15
f15 base 1.1-3.fc15
f14 base 1.1-2.fc14
F-13 updates 1.1-2.fc13
F-12 updates 1.1-2.fc12