随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
05 2024 档案
cadical基本数据结构分析2
摘要：1. 文字、变元 变元和文字iteration: vars, lits vals: signed char * vals; // assignment [-max_var,max_var] //Internal数据成员，保存文字的赋值-同时其对应负文字的赋值也一并保存（更新）。 // 可以理解为va
阅读全文
概率学习2（2024-5-7）
摘要：复习《统计思维——程序员数学之概率统计》笔记 """ This file contains code for use with "Think Stats",by Allen B. Downey, available from greenteapress.com Copyright 2010 Alle
阅读全文
