Interface NodeInitConfig

Configuration options for initialising MiniZinc in NodeJS

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

Properties

minizinc?: string

Name of, or path to the minizinc executable

minizincPaths?: string[]

Paths to search for the MiniZinc executable in