From 26687ea775147207b8e5290f8763594685f5e0cd Mon Sep 17 00:00:00 2001
From: Renge <renge@renge.io>
Date: Thu, 22 Feb 2024 00:27:41 -0500
Subject: [PATCH] feat: implement Extra credit II

---
 Extra/2.lp | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 Extra/2.lp

diff --git a/Extra/2.lp b/Extra/2.lp
new file mode 100644
index 0000000..06c8366
--- /dev/null
+++ b/Extra/2.lp
@@ -0,0 +1,10 @@
+#const n = 20.
+#const k = 5.
+
+% n-Queens encoding
+
+{ 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