sci-mathematics / ltl2ba ltl2ba Fast LTL to Buechi Automata Translation homepage ↗ Available in OverlayNewestEbuildsLast activity science gitweb ↗ 1.3 3 4 d details › Versions & arches VersionOverlay amd64x86 Committed 1.3 science ◐amd64 testing ◐x86 testing — view · download · history ↗ 1.2 science ◐amd64 testing ◐x86 testing — view · download · history ↗ 1.1 science ◐amd64 testing ◐x86 testing — view · download · history ↗