]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - abnormal.hyp
GITOLITE.txt
[pub/jan/ewbs-dlv.git] / abnormal.hyp
1 % all possible faulty components
2 ab(c).
3 ab(psh).
4 ab(w).
5 ab(f).
6 ab(s).