Interface NodeInitConfig

Configuration options for initialising MiniZinc in NodeJS

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

Properties

minizinc? minizincPaths?

Properties

Optionalminizinc

minizinc?: string

Name of, or path to the minizinc executable

OptionalminizincPaths

minizincPaths?: string[]

Paths to search for the MiniZinc executable in

Settings

Member Visibility

On This Page

Properties