renge/CSE505
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: queens

Browse Source
This commit is contained in:
Renge 2024-02-22 14:04:07 -05:00
parent e7f0e54480
commit ac91c6403f
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
B/nqueens.lp
View File

@ -6,5 +6,4 @@
{ q(I,1..n) } == 1 :- I = 1..n. { q(I,1..n) } == 1 :- I = 1..n.
{ q(1..n,J) } == 1 :- J = 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 = 2..2*n.
:- { q(D+J,J) } >= 2, D = 1-n..n-1. :- { q(D+J,J) } >= 2, D = 1-n..n-1.
:- q(X1, Y1), q(X2, Y2), X1 != X2, |X1-X2| + |Y1-Y2| < k.

2
Extra/2.lp
View File

@ -7,4 +7,4 @@
{ q(1..n,J) } == 1 :- J = 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 = 2..2*n.
:- { q(D+J,J) } >= 2, D = 1-n..n-1. :- { q(D+J,J) } >= 2, D = 1-n..n-1.
:- q(X1, Y1), q(X2, Y2), X1 != X2, |(X1 - X2)| + |(Y1 - Y2)| <= k. :- q(X1, Y1), q(X2, Y2), X1 != X2, |X1-X2| + |Y1-Y2| < k.