CPSolver.Examples.XKCD.NP (Fixpoint v0.10.2)

Summary

Functions

check_solution(solution, model)
model()
xkcd-np
solve()

Functions

check_solution(solution, model)

model()

xkcd-np

solve()