Bauhaus is a Python package for spinning up propositional logic encodings from object-oriented...