lbt_1.2.2-5_amd64.deb


Advertisement

Description

lbt - converts from LTL formulas to Büchi automata

Distribution: Debian 8 (Jessie)
Repository: Debian Main amd64
Package name: lbt
Package version: 1.2.2
Package release: 5
Package architecture: amd64
Package type: deb
Installed size: 136 B
Download size: 33.42 KB
Official Mirror: ftp.br.debian.org
This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).

Alternatives

    Download

    Binary package: lbt_1.2.2-5_amd64.deb
    Source package: lbt

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install lbt deb package:
      # sudo apt-get install lbt

    Files

    • /usr/bin/lbt
    • /usr/bin/lbt2dot
    • /usr/share/doc-base/lbt
    • /usr/share/doc/lbt/changelog.Debian.gz
    • /usr/share/doc/lbt/changelog.gz
    • /usr/share/doc/lbt/copyright
    • /usr/share/doc/lbt/html/index.html
    • /usr/share/doc/lbt/html/notgp0-opt.png
    • /usr/share/doc/lbt/html/notgp0.png
    • /usr/share/man/man1/lbt.1.gz
    • /usr/share/man/man1/lbt2dot.1.gz

    Changelog

    2011-05-13 - Ralf Treinen <treinen@debian.org> lbt (1.2.2-5) unstable; urgency=low * debian-control: - set Maintainer to debian-science - set Section to science - set Prioriy to extra - Standards-Version 3.9.2 (no change) - add Dependency on ${misc:Depends} * migrate to source format 3.0 (quilt) * rename debian/dirs to debian/lbt.dirs * manpage for lbt2dot is symlink to lbt.1 * simplify call to dh_installchangelogs

    2009-08-30 - Ralf Treinen <treinen@debian.org> lbt (1.2.2-4) unstable; urgency=low * debian/lbt.doc-base: Change field descriptor "Authors" to "Author" (closes: Bug#466458). * debian/rules: do not ignore errors of "make clean". * Standards-Version 3.8.3 * debian/control: added Homepage field. * debhelper compatibility level 7. - debian/rules: dh_clean -k => dh_prep * debian/copyright: - add a proper copyright notice. - point to GPL-2 file instead file of just GPL file. * Changed doc-base section to Science/Mathematics

    2005-08-03 - Ralf Treinen <treinen@debian.org> lbt (1.2.2-3) unstable; urgency=low * Compile with -O3 instad of -O2 on m68 to work around a gcc-4.0 bug on m68k (closes: Bug#320691). * Compile with "-O0" when "noopt" is in DEB_BUILD_OPTIONS.

    2005-07-06 - Ralf Treinen <treinen@debian.org> lbt (1.2.2-2) unstable; urgency=low * Standards-version 3.6.2 (no change). * Debhelper compatibility 4, put into file debian/compat. * Recommends graphiz (instead of Suggests) * Rebuild with gcc 4.

    2005-01-07 - Ralf Treinen <treinen@debian.org> lbt (1.2.2-1) unstable; urgency=low * New upstream release * Add debian/watch file * Short description starts on lowercase letter * Use dh_installchangelogs to install upstream changelog

    2003-09-07 - Ralf Treinen <treinen@debian.org> lbt (1.2.1-2) unstable; urgency=low * Standards-Version 3.6.1.0 * Converted debian/{changelog,copyright,control,lbt.doc-base} to UTF-8 characer encoding * Fixed a spelling error in short description (Buechi) * removed empty file debian/docs

    2002-10-04 - Ralf Treinen <treinen@debian.org> lbt (1.2.1-1) unstable; urgency=low * First upload to unstable (closes: Bug#146321). * Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors. * lbt.doc-base: changed author of doc to Marko Mäkelä.

    2002-08-06 - Ralf Treinen <treinen@debian.org> lbt (1.2.1-0.alpha) experimental; urgency=low * Initial Release.

    Advertisement
    Advertisement