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

Summary

Functions

check_solution(solution, model)

model()

xkcd-np

solve()