CPSolver.Examples.GraphColoring (Fixpoint v0.1.1)

Summary

Functions

Link to this function

solve(instance, solver_opts \\ [])