From 8c8c51fe84fb226d3765ab7effa979778e59f0b5 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 20 Oct 2018 06:54:47 -0700 Subject: [PATCH] fast --- csp/hacs-test.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/csp/hacs-test.rkt b/csp/hacs-test.rkt index db7e4218..99d8bfee 100644 --- a/csp/hacs-test.rkt +++ b/csp/hacs-test.rkt @@ -135,7 +135,8 @@ (= (+ (word-value s e n d) (word-value m o r e)) (word-value m o n e y))) '(s e n d m o r y)) (add-pairwise-constraint! smm alldiff= '(s e n d m o r y)) -(check-equal? (time (solve smm)) '((s . 9) (e . 5) (n . 6) (d . 7) (m . 1) (o . 0) (r . 8) (y . 2))) +(check-equal? (parameterize ([current-select-variable mrv-degree-hybrid]) ; todo: why is plain mrv so bad on this problem? + (time (solve smm))) '((s . 9) (e . 5) (n . 6) (d . 7) (m . 1) (o . 0) (r . 8) (y . 2))) ;; queens problem