/deb /l/lbt

Packages

_… (9)
a… (584)
b… (379)
c… (835)
d… (648)
e… (321)
f… (458)
g… (962)
h… (270)
i… (369)
j… (147)
k… (271)
l… (417)
m… (773)
n… (420)
o… (245)
p… (954)
q… (131)
r… (329)
s… (883)
t… (685)
u… (175)
v… (163)
w… (298)
x… (520)
y… (69)
z… (79)

lbt

converts from LTL formulas to Büchi automata

Man pages from lbt-1.2.2-4: