Package that contains a static analyzer for an MLN program. This static analyzer is based on pattern-matching. The output of this analyzer is labeled properties for each relation. For detailed patterns that we are using, please see our
TR
.