Can you train a neural network using an SMT solver? | Heykuki News