• GLPK

  • 156篇参考文献[SW0460]
  • GLPK(GNU线性规划工具包)是…
  • Z3

  • 449篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • 箴言9

  • 162篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…
  • MACE4

  • 190篇参考文献[SW06905]
  • 有限模型查找器MACE4。MACE4是一个程序…
  • 醪液

  • 18篇参考文献[SW08206]
  • 机器学习:大锤的机器学习。大锤集成自动…