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