2025年3月5日
摘要：
1.本机上windows系统，且已经按照有Cygwin64 Terminal； 2.启动Cygwin64 Terminal并目录切换到CMakeCache.txt所在的文件夹目录； 3.运行命令cmake+完整上述文件夹目录 4.会在上述文件夹目录内与并列看到Makefile文件和其它辅助文件。 下 阅读全文
随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
2025年3月5日
2025年2月14日
摘要：
1. import pandas as pd运行错误 错误提示： Traceback (most recent call last): File "D:\SAT_study2024\pythonSAT_plot_manageResult\ThinkStats2-master\code\paperCo 阅读全文
2024年12月8日
摘要：
哈尔滨工业大学王宏志老师《大数据算法》 阅读全文
2024年12月6日
摘要：
求解器研究所属的学科类型 2012 ACM Subject Classification Theory of computation → Constraint and logic programming; Theory of computation → Automated reasoning 主要求 阅读全文
2024年11月26日
摘要：
1.luby序列 2. 斐波那契 3. 卢卡斯数列 4. 斐波那契—卢卡斯数列: 斐波那契—卢卡斯递推：从第三项开始，每一项都等于前两项之和 1. luby序列 Luby函数是一个用于生成特定序列的函数，主要用于SAT求解器中的重启策略。Luby函数通过生成一个有限子序列，使得在达到一定冲突数时 阅读全文
2024年10月24日
摘要：
引用自： https://blog.csdn.net/elegancexian/article/details/135394834?spm=1001.2101.3001.6650.2&utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefau 阅读全文
摘要：
虽然可以实现中英文混排，编译也能通过，但是在源码编译器中录入的中文下始终有红点。 ——这是因为“拼写检查”。关掉即可。操作截图如下： 之前 关闭之后 2. Latex输入双引号的问题 最近遇到在Latex中输入双引号的bug，记录一下： latex中输入双引号时，如果都直接用键盘上的双引号键，打出的 阅读全文
2024年9月30日
摘要：
1.pumnet 2.muxViz 3. SATNet 1. pymnet主页网址：https://mnets.github.io/pymnet/index.html pymnet模块介绍 The library is based on the general definition of multi 阅读全文
2024年9月23日
摘要：
包含以下数据成员的列传： 1. solver->clause 2. flags 3.frames 4.kitten 5.limit 1. 数据成员solver->clause 是一个文字序列，以一个工作栈的方式管理一部分文字； 主要包括在以下文件中： internal.h internal.c 主要 阅读全文
