GamesmanJava:基于Java的并行求解器。 曾经用来解决connect4
阴阳 SMT求解器的模糊器。 给定一组种子SMT公式,阴阳会生成突变体公式以对SMT求解器进行压力测试。 yinyang可用于增强SMT求解器的稳定性。 它已经在两个最先进的SMT求解器Z3和CVC4
LMI求解鲁棒控制器
matlab开发-系统方程求解器。DES模型系统（带4阶龙格-库塔）和功能系统
结构力学求解器即SM Solver是一个很轻巧的计算软件，但是其功能相对来说来是比较强大的。清华大学土木系结构力学考研室研制
一个计算传输线阻抗的小工具ImpedCalc。所有的代码和图片都是大哥牛写的。基本功能很简单，输入尺寸之后就可以计算出阻抗值。目前就做了表层微带线，对称带状线，非对称带状线和差分微带线。
本文档围绕如何使用约束求解器展开，包括用于逆向工程和寻找bug等的程序分析应用的SMT求解器。作者将展示如何将x86汇编码翻译成中间语言和SMT公式，还会讨论在程序分析时使用求解器的利与弊，求解器与污
单纯形求解器
cryptominisat, 高级SAT求解器 CryptoMiniSat SAT解算器系统提供 CryptoMiniSat，一种先进的SAT求解器。 系统有 3个接口： 命令行，C 库和 pyt
COMSOL求解器选择策略.pdf
用户评论