使用 Design Verifier 解决 3x3 拼图问题的 MATLAB 开发

这是一个 3x3 拼图的 Simulink 模型。 这是一个儿童游戏，我们可以滑动瓷砖并按连续顺序制作数字。 这些动作是硬编码的。 根据空白瓷砖的位置，可以进行一定的移动。 这被建模为瓷砖的交换。 这还没有成为通用的。 Matlab 代码也许可以更轻松地对通用 N x N 正方形进行建模。 Simulink Design Verifier 解决了平铺问题。