How to Install lbt software package in Ubuntu 17.04 (Zesty Zapus)

How to Install lbt software package in Ubuntu 17.04 (Zesty Zapus)

lbt software package provides converts from LTL formulas to B?chi automata, you can install in your Ubuntu 17.04 (Zesty Zapus) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install lbt 

lbt is installed in your system.

Make ensure the lbt package were installed using the commands given below,

$ sudo dpkg-query -l | grep lbt *

You will get with lbt package name, version, architecture and description in a table

lbt package basic information:

Distro Ubuntu 17 04 zesty zapus
Section Mathematics
Package lbt
Version 1.2.2-5
Description converts from LTL formulas to B?chi automata
Sub Section math


See Also, How to uninstall or remove lbt software package from Ubuntu 17.04 (Zesty Zapus)?