File: lbt.doc-base

package info (click to toggle)
lbt 1.2.2-7
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, forky, sid, trixie
  • size: 188 kB
  • sloc: cpp: 910; ansic: 102; makefile: 46; sh: 2
file content (9 lines) | stat: -rw-r--r-- 323 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
 
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