Package Details: ltl2ba 1.1-1

Git Clone URL: https://aur.archlinux.org/ltl2ba.git (read-only)
Package Base: ltl2ba
Description: Fast translation from LTL formulas to Buchi automata.
Upstream URL: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
Licenses: GPL2
Submitter: mthowe
Maintainer: mthowe
Last Packager: mthowe
Votes: 2
Popularity: 0.000000
First Submitted: 2015-08-17 04:34
Last Updated: 2015-08-17 04:36

Dependencies (0)

Required by (3)

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/libc.so.6'] needed in files ['usr/bin/ltl2ba'])