使用openssl 在windows下生成https证书完整例子(附件文件里有openssl.cnf)
1.下载openssl
2.运行一下命令，生成密钥key
3.创建证书的申请文件
4.创建一个CA证书
5.使用上面的证书申请文件和CA证书，来创建自己的证书
6、Apache加载证书，修改httpd.conf文件。
2022-05-23 15:25:12
42KB
1
sat-cnf-转换器
用于将布尔公式从 DIMACS SAT 转换为 DIMACS CNF 格式的小实用程序。 该计划是理学硕士论文“对布尔问题求解器的贡献”的一部分。
特征
MIT 许可
用C++语言编写
仅使用标准 C++ 库。 不需要额外的框架
编译测试适用于 Windows 和 Linux 系统
转换结果可能会被 UBCSAT、Sat4j、sharpSAT、RELSAT、RSat 等 SAT 求解器处理
建造
该项目是使用 Qt Creator 编写的。 在 Qt Creator 中打开文件“project.pro”并使用顶部菜单（“Build” - “Build Project”）或按 + 构建项目。
运行程序
假设程序名为“sat_to_cnf.exe”，输入文件名为“sample.sat”。
sat_to_cnf.exe sample.sat
如果
2022-05-11 11:11:36
45KB
1
CNF转换器
创建了一个程序CNFconverter.py，它将任何命题逻辑语句转换为其等效的CNF语句。
SAT求解器
使用Davis–Putnam–Logemann–Loveland（DPLL）算法，构建一个布尔可满足性求解器，该求解器在CNF中采用一组变量和连接词，并返回使CNF句子为真的令人满意的赋值或确定没有令人满意的赋值是不可能的。
2022-05-11 11:07:48
8KB
1
CentOS7操作系统在VM虚拟机下的安装，MySQL8.0.13在CentOS7下的主主互备，以及附带my.cnf的详细配置，带有注释。
2022-04-13 15:50:51
229KB
1
记录我的学习之旅，每份文档倾心倾力，带我成我大牛，回头观望满脸笑意，望大家多多给予意见，有问题或错误，请联系 我将及时改正；借鉴文章标明出处，谢谢
2022-02-11 13:01:46
79KB
1
Mysql主从配置文件，主文件my.cnf，从文件my.cnf完整版。部分配置如下：
[client]
port = 3306
socket =/tmp/mysql.sock
[mysql]
no-auto-rehash
prompt="\u@\h [\d]>"
#pager="less -i -n -S"
#tee=/opt/mysql/query.log
[mysqld]
user = mysql
basedir = /usr/local/mysql
datadir = /data/mysql/mysql3306/data
port = 3306
socket = /tmp/mysql.sock
skip_name_resolve = 1
lower_case_table_names=1
log_bin_trust_function_creators=1
2022-01-06 13:07:15
2KB