From 13003270c44c13410624588454b10c4e3a3782dd Mon Sep 17 00:00:00 2001 From: wi11-holdsworth <83637728+wi11-holdsworth@users.noreply.github.com> Date: Tue, 26 Aug 2025 21:34:39 +1000 Subject: [PATCH] formatting --- main.pl | 2 -- 1 file changed, 2 deletions(-) diff --git a/main.pl b/main.pl index d23585e..e259bc8 100644 --- a/main.pl +++ b/main.pl @@ -2,8 +2,6 @@ % Three = [[0,14,10,35],[14,_,_,_],[15,_,_,_],[28,_,1,_]]. :- use_module(library(clpfd)). -:- use_module(library(apply)). - %% puzzle_solution(+Puzzle) %