Gravar-mail: Solving Constraint Satisfaction Problems with Networks of Spiking Neurons