用于PDE的PETSc PETSc作为非线性PDE的求解器 “ PETSc是一套数据结构和例程，用于通过偏微分方程建模的科学应用程序的可扩展（并行）解决方案” [请参见： ： ] 编译中 假设您已使用指定的gcc和g ++编译器正确安装了PETSc。 转到CMakeLists.txt并为gcc和g ++编译器更改第9行和第17行。 转到FindPETSc.cmake，并将行26/27更改为PETSC_DIR和PETSC_ARCH。 在根目录下，输入cmake . 然后，输入make或make -j 运行输入文件 PETSc选项样式用于输入文件，例如-option_name option_value 。 参见例如input/HeatCond1D.i 键入./PETScSolver <input_file_name>来运行输入文件。 例如，。 ./PETScSolver

fv-solver-mhd 磁流体动力学方程的高阶有限体积求解器

fv-solver-srhd 相对论流体力学方程的高阶有限体积求解器

fv-solver-sw 浅水方程组的高阶有限体积求解器

本文主要介绍了基于SAT路径规划算法以及路径规划系统的设计方案。通过移动机器人抓取积木为例，介绍了基于SAT路径规划算法包括的规划问题的命题表示方法以及如何使用SAT求解器对规划命题进行求解。该系统较传统的路径规划系统而言，路径规划解提取速度较快，无需传感器的反复检测初始状态及目标状态，规划效率较高。

功能较为完善的算术表达式求解器 / 计算器。C/C++源码，内含使用STL和不使用STL两个版本。

解决cplex求解优化问题。

结构力学求解器 用于求解结构内力 位移等相关问题 软件内部单位自定 是一款方便的结构分析及内力分析软件

结构力学求解器3D版，可能存在兼容问题，百度有解决方法。

结构力学求解器 工程版 V2 0