MiniZinc
GitHub
Preparing search index...
The search index is not available
MiniZinc JavaScript
MiniZinc JavaScript
shutdown
Function shutdown
shutdown
()
:
void
Terminate any running MiniZinc processes and cleanup.
Returns
void
Settings
Member Visibility
Inherited
Theme
OS
Light
Dark
MiniZinc
GitHub
MiniZinc JavaScript
Loading...
Terminate any running MiniZinc processes and cleanup.