A neural network generator using Z3 constraint solver to find weights