Package Details: ltl2ba 1.1-1

Git Clone URL: (read-only, click to copy)
Package Base: ltl2ba
Description: Fast translation from LTL formulas to Buchi automata.
Upstream URL:
Licenses: GPL2
Submitter: mthowe
Maintainer: mthowe
Last Packager: mthowe
Votes: 3
Popularity: 0.51
First Submitted: 2015-08-17 04:34
Last Updated: 2015-08-17 04:36

Dependencies (0)

Required by (4)

Sources (1)

Latest Comments

zorun commented on 2017-01-07 17:22

namcap complains about a missing dependency:

ltl2ba E: Dependency glibc detected and not included (libraries ['usr/lib/'] needed in files ['usr/bin/ltl2ba'])