Formal Verifications of Bayesian Network Classifiers - View it on GitHub