Erregistroa posta elektronikoz bidali: Using Stochastic Spiking Neural Networks on SpiNNaker to Solve Constraint Satisfaction Problems