Package Details: ltl2ba 1.3-2

Git Clone URL: https://aur.archlinux.org/ltl2ba.git (read-only, click to copy)
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: Scipio
Last Packager: Scipio
Votes: 3
Popularity: 0.000000
First Submitted: 2015-08-17 04:34 (UTC)
Last Updated: 2020-07-09 17:47 (UTC)

Latest Comments

zorun commented on 2017-01-07 17:22 (UTC)

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'])