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

2013-12-12 134 SAT求解器

硬件求解平方根源代码加密 (硬件求解平方根的，将license添加到原有的MaxplusII或QuartusII的license中就可以直接使用，但源代码加密。altera提供 )

2014-01-04 90 SAT求解器

2016-01-14 76 SAT求解器

该文档为除草机器人机械臂的逆向求解与控制总结文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………

2022-04-25 7 SAT求解器

基于LU分解的直接求解方法，求解复系数方程组A.x=b的解

2016-10-03 120 SAT求解器

利用gauss分解求解线性方程组，并得到最有解

2014-01-09 43 SAT求解器

一维粘性流体求解，显示格式，欧拉时间离散

2013-12-22 128 SAT求解器

线性方程组的求解，这里给出求解的程序和算法

2013-12-10 57 SAT求解器

用于求解TSP(Traveling salesman problem，旅行商问题)问题，基本执行见run.bat, 其它详见其中的readme.txt。（实例为TSPLIB格式，见myprojects目录，包括eil51, d198, li...

2015-10-16 58 SAT求解器

2015-03-10 158 SAT求解器

SAT求解器