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