FDQ Playground - Finite Domain Solver, by Peter van der Zee

This is a playground for fdq, a Finite Domain Constraint Solver by Peter van der Zee, © pvdz.ee, September 2017. (lib not yet loaded)

Enter DSL to solve:

# : A, B, C [0 100]
# A = B * C
# B = A / C

# Blank Sudoku:

: c11,c12,c13,c14,c15,c16,c17,c18,c19 [1, 9]
: c21,c22,c23,c24,c25,c26,c27,c28,c29 [1, 9]
: c31,c32,c33,c34,c35,c36,c37,c38,c39 [1, 9]
: c41,c42,c43,c44,c45,c46,c47,c48,c49 [1, 9]
: c51,c52,c53,c54,c55,c56,c57,c58,c59 [1, 9]
: c61,c62,c63,c64,c65,c66,c67,c68,c69 [1, 9]
: c71,c72,c73,c74,c75,c76,c77,c78,c79 [1, 9]
: c81,c82,c83,c84,c85,c86,c87,c88,c89 [1, 9]
: c91,c92,c93,c94,c95,c96,c97,c98,c99 [1, 9]

# Enter all known cells here:

## Q1
c21 == 2
c31 == 3
c13 == 1
c33 == 4

## Q2
c42 == 2
c52 == 3
c53 == 5
c63 == 8

## Q3
c71 == 9
c82 == 7
c73 == 6
c83 == 3

## Q4
c14 == 2
c34 == 5
c15 == 9
c26 == 3

## Q5
c45 == 1
c65 == 5
c56 == 4
c66 == 6

## Q6
c74 == 1
c84 == 4
c85 == 6
c96 == 9

## Q7
c27 == 1
c37 == 7
c28 == 9
c19 == 3

## Q8
c47 == 3
c57 == 8
c48 == 6
c68 == 4

## Q9
c77 == 2
c88 == 8
c98 == 7
c89 == 9

# Make sure all cells in each row, column, and 3x3 are unique

diff(c11 c12 c13 c21 c22 c23 c31 c32 c33)
diff(c14 c15 c16 c24 c25 c26 c34 c35 c36)
diff(c17 c18 c19 c27 c28 c29 c37 c38 c39)
diff(c41 c42 c43 c51 c52 c53 c61 c62 c63)
diff(c44 c45 c46 c54 c55 c56 c64 c65 c66)
diff(c47 c48 c49 c57 c58 c59 c67 c68 c69)
diff(c71 c72 c73 c81 c82 c83 c91 c92 c93)
diff(c74 c75 c76 c84 c85 c86 c94 c95 c96)
diff(c77 c78 c79 c87 c88 c89 c97 c98 c99)

diff(c11 c12 c13 c14 c15 c16 c17 c18 c19)
diff(c21 c22 c23 c24 c25 c26 c27 c28 c29)
diff(c31 c32 c33 c34 c35 c36 c37 c38 c39)
diff(c41 c42 c43 c44 c45 c46 c47 c48 c49)
diff(c51 c52 c53 c54 c55 c56 c57 c58 c59)
diff(c61 c62 c63 c64 c65 c66 c67 c68 c69)
diff(c71 c72 c73 c74 c75 c76 c77 c78 c79)
diff(c81 c82 c83 c84 c85 c86 c87 c88 c89)
diff(c91 c92 c93 c94 c95 c96 c97 c98 c99)

diff(c11 c21 c31 c41 c51 c61 c71 c81 c91)
diff(c12 c22 c32 c42 c52 c62 c72 c82 c92)
diff(c13 c23 c33 c43 c53 c63 c73 c83 c93)
diff(c14 c24 c34 c44 c54 c64 c74 c84 c94)
diff(c15 c25 c35 c45 c55 c65 c75 c85 c95)
diff(c16 c26 c36 c46 c56 c66 c76 c86 c96)
diff(c17 c27 c37 c47 c57 c67 c77 c87 c97)
diff(c18 c28 c38 c48 c58 c68 c78 c88 c98)
diff(c19 c29 c39 c49 c59 c69 c79 c89 c99)