Slitherlink-FM10-2015:第 10 组形式化方法主题中的 Slitherlink 项目
需积分: 9 108 浏览量
2021-06-06
10:58:09
上传
评论
收藏 1.4MB ZIP 举报
Slitherlink-FM10-2015-master.zip （90个子文件） 
Slitherlink-FM10-2015-master 
.gitignore 640B FormalMethod cnf output.cnf 951B input.cnf 1.89MB input-ASUS-LAPTOP.cnf 10KB outputs.cnf 173KB
org.sat4j.core-src.jar 365KB src MainPackage SatEncode.java 25KB LoadingThread.java 269B SatSolver.java 2KB Solve2Thread.java 2KB WriteInput.java 2KB Solve1Thread.java 5KB Swing MyPanel.java 6KB MainFrame.java 20KB LoadingPanel.java 917B NewGameFrame.java 4KB forms-1.3.0.jar 120KB bin .gitignore 22B .classpath 550B
forms-1.3.0-src.zip 154KB .settings org.eclipse.jdt.core.prefs 587B .project 371B image 
s.jpg 111KB
loading2.gif 22KB loading.gif 76KB input other 
15x15_2.txt 455B test30x20.txt 1KB 15x15_1.txt 456B 50x50.txt 5KB 24x14_1.txt 631B 20x20_1.txt 805B 10x10_1.txt 205B 9x9_2.txt 165B test30x45.txt 3KB 8x8_2.txt 131B 8x8_1.txt 131B 10x10_3.txt 205B 9x9_1.txt 165B 36x20.txt 1KB test45x30.txt 3KB 10x10_2.txt 225B test.txt 43B test4x6.txt 51B 6x6 6.txt 75B 4.txt 75B 8.txt 75B 3.txt 75B 5.txt 75B 7.txt 75B 9.txt 75B 1.txt 75B 10.txt 75B 2.txt 75B 7x7 6.txt 87B 4.txt 101B 8.txt 101B 3.txt 101B 5.txt 101B 7.txt 101B 9.txt 101B 1.txt 102B 10.txt 101B 2.txt 101B 4x4 6.txt 36B 4.txt 36B 8.txt 35B 3.txt 35B 5.txt 35B 7.txt 35B 9.txt 35B 1.txt 35B 10.txt 35B 2.txt 35B 12.txt 36B 11.txt 38B 5x5 6.txt 53B 4.txt 54B 8.txt 53B 3.txt 53B 5.txt 53B 7.txt 53B 9.txt 53B 1.txt 57B 10.txt 53B 2.txt 54B unsat 88.txt 131B 66.txt 75B org.sat4j.core.jar 337KB README.md 82B .gitattributes 378B资源评论
