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 JavaScript
Loading...
Terminate any running MiniZinc processes and cleanup.