summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_fd/magic_1/common.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/clp_fd/magic_1/common.py')
-rw-r--r--prolog/problems/clp_fd/magic_1/common.py17
1 files changed, 17 insertions, 0 deletions
diff --git a/prolog/problems/clp_fd/magic_1/common.py b/prolog/problems/clp_fd/magic_1/common.py
new file mode 100644
index 0000000..0308e1d
--- /dev/null
+++ b/prolog/problems/clp_fd/magic_1/common.py
@@ -0,0 +1,17 @@
+id = 151
+group = 'clp_fd'
+number = 60
+visible = True
+facts = None
+
+solution = '''\
+magic(L):-
+ L = [A1,A2,A3,B1,B2,B3,C1,C2,C3],
+ L ins 1..9,
+ all_different(L),
+ A1+A2+A3 #= B1+B2+B3,
+ A1+A2+A3 #= C1+C2+C3,
+ A1+B1+C1 #= A2+B2+C2,
+ A1+B1+C1 #= A3+B3+C3,
+ A1+B2+C3 #= A3+B2+C1,
+ labeling([], L).'''