Interface NodeInitConfig

Configuration options for initialising MiniZinc in NodeJS

Hierarchy

  • NodeInitConfig

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

Generated using TypeDoc