包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！）
clasp
claspD
clingo
iclingo
dlv
gringo
lparse
smodels
以及几个程序范例
2019-12-21 19:51:00
2.07MB
1
Gurobi 可以解决的数学问题：
线性问题（Linear problems）
二次型目标问题（Quadratic problems）
混合整数线性和二次型问题（Mixed integer linear and quadratic problems）
突出的性价比
2019-12-21 19:21:10
8.15MB
1
方程求解器EES（engineeringequationsolver），可以解一些方程
2019-12-21 18:55:32
26.98MB
1
EES提供了很多对工程计算非常有用的内置数学和热物性函数。例如，EES中内置有蒸汽性质表，根据任意两个物性参数就可通过调用一个内置函数而获得其它的物性参数。对于大多数制冷剂(包括一些新的混合制冷剂)、氨、甲烷、二氧化碳和很多其它流体，也提供了类似的功能。空气性质表是内置的，很多常用气体的psychrometric函数和JANAF表中的数据一样也是内置的。同样也提供了这些物质的迁移性质。
2019-12-21 18:44:18
21.54MB
1