Alloy modelisation of Chess Knight problem