求解器
miniSAT求解器
MiniSAT是简约的求解器,开源的布尔可满足问题求解器。由研究人员和开发人员共同研发。并得到麻省理工大学的许可并发布。给SAT求解器一个逻辑命题,包含与或非逻辑符号以及若干布尔变量,SAT求解器根据
ZIP
0B
2019-03-07 18:54
fluent求解器
详细的fluent求解器介绍。具体解释了各个部分的功能和操作。
DOCX
0B
2019-04-07 19:09
comsol求解器
实用的comsol求解器相关文档,包括求解器基础理论,求解类型,求解器配置
PPTX
0B
2019-05-14 01:28
力学求解器
力学求解器
RAR
0B
2019-07-15 01:54
lsdyna求解器
用于动态仿真求解器,采用有限元方法对偏微分方程进行离散求导,其能够对大变形结构进行动力学求解
EXE
0B
2019-07-15 01:55
力学求解器
Mechanical solver
ZIP
0B
2019-06-22 02:26
ladyna求解器
lsdyna_971求解器,可以用于求解大变形非线性问题如碰撞,金属成型等
EXE
0B
2019-07-27 22:07
数独求解器
使用c++语言,用QT编写的一个完善的数独求解软件
EXE
0B
2019-02-17 09:04
SAT求解器minisat
一个比较著名的SAT求解器,具体参见 http://minisat.se/
0B
2018-12-28 10:11
DCD格式求解器
计算流体力学,DCD离散格式求解超声速二维单方柱绕流的源程序,采用多线程计算。
C
0B
2019-07-22 19:50