随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
09 2024 档案
yunhantu绘制学习-1-多层网络分析软件介绍
摘要：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
阅读全文
k_ssat数据成员的列传1
摘要：包含以下数据成员的列传： 1. solver->clause 2. flags 3.frames 4.kitten 5.limit 1. 数据成员solver->clause 是一个文字序列，以一个工作栈的方式管理一部分文字； 主要包括在以下文件中： internal.h internal.c 主要
阅读全文
k_issat的多输出-学习与修改2 - 基本数据结构
摘要：1. kissat结构体的基本数据成员回顾： //最常用的数据成员访问代码： watches *const all_watches = solver->watches; ward *const arena = BEGIN_STACK (solver->arena); assigned *const
阅读全文
k_issat的多输出-学习与修改1-BCP
摘要：学习：传播 //传播实现相关过程代码设计相当复杂 search_propagate -- search_propagate_literal (别名：PROPAGATE_LITERAL) -- kissat_fast_assign_reference-- kissat_fast_assign （别名：
阅读全文
cadical调用与改写为多输出2
摘要：1. cadical.hpp中定义的App输出控制 （1）设置输出文件类型 //main函数中 bool proof_specified = false, dimacs_specified = false; //默认输出文件类型：命令行出现“-”，则设置dimacs_specified=True,对
阅读全文
