satsolver:来自 MIT OpenCourseWare 的 6.05 Elements of Software Construction 的作业 3

时间:2024-07-09 13:47:02
【文件属性】:

文件名称: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)

网友评论