https github.com mthom scryer prolog在Windows MSY...

这是一个使用卡诺图化简法化简逻辑函数的程序 这是什么东西?可以看一下百度百科的介绍 卡诺图-百度百科...

用于运算、输出大整数的C++库,使用简便,即下即用,已重载各类运算符,支持ostream(cout)...