Scryer-Prolog 编译器+命令行终端（由源码构建）

Scryer-Prolog 编译器+命令行终端（由源码构建） A modern Prolog implementation written mostly in Rust. 一份现代的 Prolog 实现，主要使用 Rust 编写 开发者：Mark Thom 源码：https://github.com/mthom/scryer-prolog

C++ 逻辑函数化简器（基于卡诺图化简法）附源码

这是一个使用卡诺图化简法化简逻辑函数的程序 这是什么东西？可以看一下百度百科的介绍 卡诺图-百度百科 https://baike.baidu.com/item/%E5%8D%A1%E8%AF%BA%E5%9B%BE 卡诺图化简法-百度百科 https://baike.baidu.com/item/%E5%8D%A1%E8%AF%BA%E5%9B%BE%E5%8C%96%E7%AE%80%E6%B3%95 由初二的Chesium于2020/8开发 初衷是因为一道题 https://www.luogu.com.cn/problem/P6127 例子、用法都在程序内，大家可以自己去试一下

C++ 大整数运算库(附源码)

用于运算、输出大整数的C++库，使用简便，即下即用，已重载各类运算符，支持ostream（cout）输出和字符串输出、字符串构造、最大公约数和最小公倍数计算。 具体用法、函数说明可以在文件夹中的README.txt中找到