CPSolver.Examples.GraphColoring (Fixpoint v0.9.7)

Summary

Functions

check_solution(colors, instance)

model(data)

solve(instance, solver_opts \\ [])