Search
Fixpoint
v0.2.3
Pages
Modules
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 \\ [])