hint.clj

(defn solver [input]
  (let [task (parse-task input)
        s (Solver. "graph coloring")
        x (VariableFactory/bounded "X" 0 5 s)
        y (VariableFactory/bounded "Y" 0 5 s)
        constr1 (ICF/arithm x "+" y ">" 5)
        strat (IntStrategyFactory/lexico_LB (into-array IntVar [x y]))
        ^"[Lorg.chocosolver.solver.search.strategy.strategy.AbstractStrategy;" strats (into-array AbstractStrategy [strat])]
    (prn (class strats))
    (.post s constr1)
    (.set s strats)
    (.findSolution s))
  "test")