文件名称:satsolver:来自 MIT OpenCourseWare 的 6.05 Elements of Software Construction 的作业 3
文件大小:23KB
文件格式:ZIP
更新时间:2024-07-09 13:47:02
Java
卫星解算器 来自 MIT OpenCourseWare 的 6.05 Elements of Software Construction 的作业 3
【文件预览】:
satsolver-master
----.project(371B)
----src()
--------immutable()
--------sudoku()
--------sat()
----.settings()
--------org.eclipse.jdt.core.prefs(617B)
----samples()
--------sudoku_easy.txt(90B)
--------sudoku_easy2.txt(90B)
--------sudoku_evil.txt(89B)
--------sudoku_4x4.txt(20B)
--------sudoku_hard2.txt(90B)
--------sudoku_hard.txt(90B)
----README.md(90B)
----.classpath(372B)