Yirmiuc / 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-7
•     lbt_1.2.2-7_amd64.deb
•     29.9 KiB
•     science
•     amd64
•      lbt_1.2.2-7.debian.tar.xz
            lbt_1.2.2-7.dsc
            lbt_1.2.2.orig.tar.gz
•     Debian Versiyonu: 1.2.2-7
•     converts from LTL formulas to Büchi automata

Diğer Pardus sürümlerindeki versiyonlar