Code relating to the paper Data Generation for Neural Programming by Example https://arxiv.org/abs/1911.02624
GuidedExample notebook walks through generation of programs and input/output examples, using these to train neural networks and assess their accuracy.
Uses z3 theorem prover https://github.com/Z3Prover/z3 and python 3.6 or above.