线性解算器 [计] linear resolver
可满足性解算器 sat solver
线性方程解算器 [计] linear equation solver
性解算器
Sex solver
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动