Package Details: ltl2ba 1.3-2

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: 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/'] needed in files ['usr/bin/ltl2ba'])