Interface BrowserInitConfig

Configuration options for initialising MiniZinc in the browser

interface BrowserInitConfig {
    dataURL?: string | URL;
    numWorkers?: number;
    wasmURL?: string | URL;
    workerURL?: string | URL;
}

Index

Properties

dataURL? numWorkers? wasmURL? workerURL?

Properties

`Optional`dataURL

dataURL?: string | URL

URL of the minizinc.data file

`Optional`numWorkers

numWorkers?: number

Size of web worker pool

`Optional`wasmURL

wasmURL?: string | URL

URL of the minizinc.wasm file

`Optional`workerURL

workerURL?: string | URL

URL of the worker script