Function shutdown

  • shutdown(): void

  • Terminate any running MiniZinc processes and cleanup.

    Returns void

Settings

Member Visibility