aboutsummaryrefslogtreecommitdiff
path: root/math/ltl2ba/pkg-descr
blob: de5f5f36f9537b6b52ba91226b839823437d11ec (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11