Includes Spike::GPU support, also improved the net model (no redundant constraints)