Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models