SolverFlags

constructor(flags: Int)