From 2c6cb2f3ad876a91a82f33ce12844f7758b969d6 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 30 Dec 2020 06:58:43 -0800 Subject: [PATCH] kw --- 2020/16.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/2020/16.rkt b/2020/16.rkt index a1a9126..4fa8386 100644 --- a/2020/16.rkt +++ b/2020/16.rkt @@ -70,7 +70,7 @@ (define prob (make-csp)) (define colidxs (range (length cols))) (add-vars! prob colidxs (range (length predicates))) -(add-all-diff-constraint! prob #:proc eq?) +(add-all-diff-constraint! prob #:same eq?) (for ([colidx (in-list colidxs)]) (add-constraint! prob (λ (predidx) (andmap (list-ref predicates predidx)