上传者: 38334677
|
上传时间: 2022-06-22 09:05:25
|
文件大小: 5MB
|
文件类型: ZIP
用于解决 3cnf-sat 问题的模拟退火算法的 Julia 实现。
用法:
可以通过main(name)在 main.jl 文件上使用 present 来调用模拟退火,其中name是 DIMACS cnf 格式的文件的路径。 tester.jl包含一个函数,它在一个目录上运行并对那里的所有输入文件执行模拟退火,并将输出保存到一个文件中。
更多详情、使用方法,请下载后阅读README.md文件