Settings CPSolver.Examples.GraphColoring (Fixpoint v0.2.3)

Summary

Functions

check_solution(colors, instance)

solve(instance, solver_opts \\ [])

Functions

Link to this function

check_solution(colors, instance)

Link to this function

solve(instance, solver_opts \\ [])