Interface BrowserInitConfig

Configuration options for initialising MiniZinc in the browser

Hierarchy

  • BrowserInitConfig

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

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc