Interface NodeInitConfig

Configuration options for initialising MiniZinc in NodeJS

interface NodeInitConfig {
    minizinc?: string;
    minizincPaths?: string[];
}

Properties

minizinc? minizincPaths?

Properties

Optional minizinc

minizinc?: string

Name of, or path to the minizinc executable

Optional minizincPaths

minizincPaths?: string[]

Paths to search for the MiniZinc executable in

Settings

Member Visibility

Theme

On This Page

minizincminizincPaths