CPSolver.Examples.GraphColoring (Fixpoint v0.9.0)
Summary
Functions
Link to this function
check_solution(colors, instance)
Link to this function
model(data)
Link to this function