Mizar3的源代码(C程序),生成的可执行文件Mizar.exe可以用免费的Winboard(一种国际象棋软件)加载.该智能引擎的象棋国际等级分在1000分左右.是研究人工智能的好参考.