From 61661e7d25a2c74feac580cf0ec1963c3982c306 Mon Sep 17 00:00:00 2001 From: wi11-holdsworth <83637728+wi11-holdsworth@users.noreply.github.com> Date: Tue, 26 Aug 2025 21:34:56 +1000 Subject: [PATCH] Two-case was incorrect, rely only on three-case --- main.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.pl b/main.pl index e259bc8..09a1857 100644 --- a/main.pl +++ b/main.pl @@ -1,5 +1,5 @@ -% Two = [[0,10,9],[11,_,_],[10,_,_]], puzzle_solution(Two). -% Three = [[0,14,10,35],[14,_,_,_],[15,_,_,_],[28,_,1,_]]. +% Three = [[0,14,10,35],[14,_,_,_],[15,_,_,_],[28,_,1,_]], puzzle_solution(Three) +% Three = [[0, 14, 10, 35], [14, 7, 2, 1], [15, 3, 7, 5], [28, 4, 1, 7]]. :- use_module(library(clpfd)).