Fixpoint v0.13.2

CPSolver.Examples.GraphColoring (Fixpoint v0.13.2)

Link to this section Summary

Functions

check_solution(colors, instance)
model(data)
solve(instance, solver_opts \\ [])

Link to this section Functions

Link to this function

check_solution(colors, instance)

Link to this function

model(data)

Link to this function

solve(instance, solver_opts \\ [])