Sudoku is known as the numbers game. It is a good example of how defining information systems with MDriven works. You can clarify the rules for yourself and thus for the computer - and then you are done. This is the same strategy you use for any information system based on types and rules (all information systems).
Watch this video: https://youtu.be/mTYAMj7_O5w
Download the model here: