MiniZinc JavaScript
    Preparing search index...

    Function shutdown

    • Terminate any running MiniZinc processes and cleanup.

      Returns void

    Settings

    Member Visibility