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
Mini
Zinc
Java
Script
Model
Browser
Init
Config
Checker
Message
Compilation
Progress
Error
Message
Exit
Message
Location
Model
Interface
Node
Init
Config
Output
Param
Config
Solution
Message
Solve
Progress
Solve
Result
Stack
Item
Statistics
Message
Status
Message
Timestamp
Message
Trace
Message
Var
Type
Warning
Message
Status
init
shutdown
solvers
version
Generated using
TypeDoc
Terminate any running MiniZinc processes and cleanup.