PropL Tutorial: Put the code in propositional_logic/random_gen/*.py, and run using python3 -m propositional_logic.random_gen.gen_dataset. Questions? File an Issue. Cite as: https://arxiv.org/abs/2404.07382 MIT License