spiking neural network simulator with Python interface