Header

Header information for interfacing with other applications.

It is currently ignored by the solver.

Fields

• file: String, default = ""

• version: Integer, default = 1

• date: String, default = ""

• application: String, default = ""

• type: String, default = ""

See also ReflexInput.