From ac91c6403f6700916249260dd8a2b665642cfa3a Mon Sep 17 00:00:00 2001
From: Renge <renge@renge.io>
Date: Thu, 22 Feb 2024 14:04:07 -0500
Subject: [PATCH] fix: queens

---
 B/nqueens.lp | 3 +--
 Extra/2.lp   | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/B/nqueens.lp b/B/nqueens.lp
index 1a50d41..f18048f 100644
--- a/B/nqueens.lp
+++ b/B/nqueens.lp
@@ -6,5 +6,4 @@
 { q(I,1..n) } == 1 :- I = 1..n.
 { q(1..n,J) } == 1 :- J = 1..n.
 :- { q(D-J,J) } >= 2, D =   2..2*n.
-:- { q(D+J,J) } >= 2, D = 1-n..n-1.
-:- q(X1, Y1), q(X2, Y2), X1 != X2, |X1-X2| + |Y1-Y2| < k.
\ No newline at end of file
+:- { q(D+J,J) } >= 2, D = 1-n..n-1.
\ No newline at end of file
diff --git a/Extra/2.lp b/Extra/2.lp
index 06c8366..735ea6a 100644
--- a/Extra/2.lp
+++ b/Extra/2.lp
@@ -7,4 +7,4 @@
 { q(1..n,J) } == 1 :- J = 1..n.
 :- { q(D-J,J) } >= 2, D =   2..2*n.
 :- { q(D+J,J) } >= 2, D = 1-n..n-1.
-:- q(X1, Y1), q(X2, Y2), X1 != X2, |(X1 - X2)| + |(Y1 - Y2)| <= k.
\ No newline at end of file
+:- q(X1, Y1), q(X2, Y2), X1 != X2, |X1-X2| + |Y1-Y2| < k.
\ No newline at end of file