Searched refs:fzn_solver (Results 1 – 2 of 2) sorted by relevance
1716 opts.solver.fzn_solver = ASTString("fznsolver"); in mark()1938 opts.solver.fzn_solver.mark(); in mark()
1956 ASTString fzn_solver; // NOLINT(readability-identifier-naming) member