Scalable Training of Propositional Logical Neural Networks. - View it on GitHub