在 julia 中实施模拟 退火以解决 3cfn-sat_julia_代码_下载

用于解决 3cnf-sat 问题的模拟退火算法的 Julia 实现。 用法： 可以通过main(name)在 main.jl 文件上使用 present 来调用模拟退火，其中name是 DIMACS cnf 格式的文件的路径。 tester.jl包含一个函数，它在一个目录上运行并对那里的所有输入文件执行模拟退火，并将输出保存到一个文件中。 更多详情、使用方法，请下载后阅读README.md文件