SAT求解器全部资料 - 虫虫开发者社区

本程序为求解博弈纳什均衡解的源程序，可以自己构造博弈矩阵，也可以选择已经存在的博弈矩阵．本程序分为两种方法，一种方法只能求解纯纳什均衡解．另一种可以求混合均衡解．

2013-12-09 60 SAT求解器

2014-01-11 106 SAT求解器

2013-12-26 88 SAT求解器

利用AFEPack包求解变二次系数的椭圆型方程.在求解这个问题的过程中，先要把程序的结构进行整理，将变二次项系数的因素加进去，并使得其更加有利于复杂一些的问题的求解。为此，我们使用一个类来管理这个求解的问题，先写一个对这个类进行声明的...

2014-01-03 103 SAT求解器

求解二阶微分代数方程组源代码这是求解二阶微分代数方程组DAE，和纯微分方程ODE的matlab源代码

2014-11-23 165 SAT求解器

2016-08-11 30 SAT求解器

2013-12-10 199 SAT求解器

继电器种类很多，中间继电器用于继电保护与自动控制系统中，以增加触点的数量及容量，它用于在控制电路中传递中间信号。中间继电器的结构和原理与交流接触器基本相同.

2022-12-26 5 SAT求解器

毛坯表达式求值器，用bison写的。麻雀虽小，五脏俱全的，主要的特征都用到了，gcc的语法分析也不过就用了这些方法。

2015-10-26 24 SAT求解器

这个是TSP问题的matlab程序求解，请过目！

2015-07-18 37 SAT求解器

SAT求解器