CORAL
Incorporated some features of
Selma (7041)
Markov network analysis system