Ondokuz / lbt

converts from LTL formulas to Büchi automata

•     Debian Science Maintainers
•     debian-science-maintainers@lists.alioth.debian.org
•     http://www.tcs.hut.fi/Software/maria/tools/lbt/
•     1.2.2-6
•     lbt_1.2.2-6_amd64.deb
•     30.4 KiB
•     science
•     amd64
•      lbt_1.2.2-6.debian.tar.xz
            lbt_1.2.2-6.dsc
            lbt_1.2.2.orig.tar.gz
•     Debian Versiyonu: 1.2.2-6
•     converts from LTL formulas to Büchi automata

Diğer Pardus sürümlerindeki versiyonlar