A fast and efficient constraint satisfaction solver on Loihi | Gabriel Andres Fonseca | 2021