SpiNNaker NMPI Service Remote Executor 7.3.1 API

NMPI Service
Package
Description
The parameters used to launch a job.
The handles for running jobs.
The main job process manager code.
Miscellaneous utilities.