摘要： (x)=ln(x)/x+x/e^x是一个。 (x^2-1)*exp(-x)也可以。 x=1:100:10000; y = log(x)./x + x./(2.718).^x; plot(x,y) x=1:10:200; y = 1+ (x.^2-1).*exp(-x); plot(x,y) x2 = 阅读全文

摘要： MapleLCMDistChronoBT-DL-v2.2PSIDS_RFV02_2是我们参加2020求解器竞赛的主要版本，以下是对该求解去改进方案做的简要说明。 英文文档： MapleLCMDistChronoBT-DL-Scavel, MapleLCMDistChronoBT-DL- RFV , 阅读全文

摘要： STP是一种无量化位向量理论的约束求解器，它可以解决由程序分析工具、定理证明器、自动错误查找器、密码算法、智能模糊器和模型检验器产生的各种问题。 * Homepage: https://stp.github.io/* Ubuntu PPA: https://launchpad.net/~simple 阅读全文

摘要： CaDiCal2019学习笔记（3） 内存预分配和垃圾回收 arena 竞技场，舞台 这单个文件arena.hpp arena.cpp collect.cpp 应当一起解读 1.在移动垃圾回收机制中生存下来的学习子句被移动到竞技场中，在移动子句时也控制子句的分配顺序。 This memory all 阅读全文