sbosse/jam
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tue 27 Aug 00:14:56 CEST 2024

Browse Source
This commit is contained in:
sbosse 2024-08-27 00:16:04 +02:00
parent 194ba79223
commit 31d4a69df8
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/test-csp.js Normal file
View File

@ -0,0 +1,12 @@
var m = csp.solver(csp.CSP.SIMPLE)
csp.V(m,'x',csp.range(1,9))
csp.V(m,'y',[1,2,3,4,5,6,7,8,9])
csp.V(m,'z',[1,2,3,4,5,6,7,8,9])
csp.C(m,'x','y',function (x,y) { return x > y })
csp.C(m,'y','z',function (y,z) { return y > z })
csp.C(m,'x','y',function (x,y) { return x > 3 && y < 7 })
csp.C(m,'x','y',function (x,y) { return x != y })
csp.C(m,'z',null,function (z) { return z > 2 })
print(m)
print(toJSON(m).length+' Bytes')
print(csp.solve(m))