BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks | Read Paper on Bytez