github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

Sudoku Example Updated

Browse source
This commit is contained in:
Jacob Eberhardt 2017-10-26 18:08:55 +02:00
commit 8df807c049
1 changed files with 26 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

50
examples/sudokuchecker.code
View file

@ -18,26 +18,38 @@ counter = counter + if e12 == e21 then 1 else 0 fi
counter = counter + if e21 == e22 then 1 else 0 fi
return counter
def sum(e1,e2,e3,e3):
return e1 + e2 + e3 + e4
// def inOneToFour(x):
// 1 == if x==1 then 1 else 0 fi + if x==2 then 1 else 0 fi + if x==3 then 1 else 0 fi + if x==4 then 1 else 0 fi
// returns 0 for x in (1..4)
def validateInput(x):
return (x-1)*(x-2)*(x-3)*(x-4)
def main(a11,a12,a21,a22,b11,b12,b21,b22):
// variables naming: box'row''column'
// counter globally counts duplicate entries in boxes, rows and columns
counter = 0
// validate inputs
0 == validateInput(a11)
0 == validateInput(a12)
0 == validateInput(a21)
0 == validateInput(a22)
0 == validateInput(b11)
0 == validateInput(b12)
0 == validateInput(b21)
0 == validateInput(b22)
0 == validateInput(c11)
0 == validateInput(c12)
0 == validateInput(c21)
0 == validateInput(c22)
0 == validateInput(d11)
0 == validateInput(d12)
0 == validateInput(d21)
0 == validateInput(d22)
counter = 0 // globally counts duplicate entries in boxes, rows and columns
// check box correctnes
// assert 1,2,3,4 are used as symbols
10 == sum(a11,a12,a21,a22)
10 == sum(b11,b12,b21,b22)
10 == sum(c11,c12,c21,c22)
10 == sum(d11,d12,d21,d22)
// no duplicates
counter = checkEquality(a11,a12,a21,a22)
counter = counter + checkEquality(b11,b12,b21,b22)
@ -46,11 +58,6 @@ counter = 0
// check row correctnes
10 == sum(a11,a12,b11,b22)
10 == sum(a21,a22,b21,b22)
10 == sum(c11,c21,d11,d12)
10 == sum(c21,c22,d21,d22)
counter = checkEquality(a11,a21,b11,b21)
counter = counter + checkEquality(a21,a22,b21,b22)
counter = counter + checkEquality(c11,c21,d11,d12)
@ -58,11 +65,6 @@ counter = 0
// check column correctnes
10 == sum(a11,a21,c11,c21)
10 == sum(a12,a22,c12,c22)
10 == sum(b11,b21,d11,d21)
10 == sum(b12,b22,d12,d22)
counter = checkEquality(a11,a21,b11,b21)
counter = counter + checkEquality(a21,a22,b21,b22)
counter = counter + checkEquality(c11,c21,d11,d12)