随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - 程序编译
复杂程序的编译需要学习和掌握make及CMaker。这里记录本人学习过程。
sat-solver常见编译错误
摘要：1.MapleCOMSPS_LRB_VSIDS 1 /cygdrive/d/studySAT2022_06/MapleCOMSPS_LRB_VSIDS_no_drup/MapleCOMSPS_LRB_VSIDS/simp/Main.cc:43: undefined reference to `Min
阅读全文
编译笔记——组合求解器cmsatv56-yalsat编译及测试
摘要：研读该程序的目的：（1）组合两个以上求解器的程序代码组织；（2）cmake的代码编写和阅读 1.下载cmsatv56-yalsat 2.在编译窗口切换到文件夹cmsatv56-yalsat路径下，运行命令./starexec_build2，自动建立文件夹build并得到编译后的exe程序。编译过程屏
阅读全文
solver code 常见编译错误1
摘要：1.核心已转储 进入solve_函数前即发生了错误 求解非常简单的cnf，trail中没有队列文字却传播结束并出现“核心已转储错误” 分析：不同求解器给出两种sat结论 v 1 2 3 4 5 6 7 0 或者 v 1 2 3 -4 -5 -6 -7 0 说明可满足样例的指派不止一个。仔细分析该cn
阅读全文
STP——SMT求解器
摘要：STP是一种无量化位向量理论的约束求解器，它可以解决由程序分析工具、定理证明器、自动错误查找器、密码算法、智能模糊器和模型检验器产生的各种问题。 * Homepage: https://stp.github.io/* Ubuntu PPA: https://launchpad.net/~simple
阅读全文
matlab程序jiaMi的相关代码
摘要：1.将.m文件转换为.p文件——隐藏代码加密 使用pcode命令—— pcode filename.m 即可生成源文件对应的.p文件 filelname.p。移除.m文件保留.p文件不影响函数调用和程序运行。 2.读取当前PC机的主板序列号加以对比，加入对比代码段并结合上面隐藏代码——实现程序离不开
阅读全文
