• CSDP

  • 192篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 减少

  • 736篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • ADA95

  • 128篇参考文献[SW01753]
  • 艾达是结构化的,静态类型的,命令式的,宽的…
  • 库达

  • 1118篇参考文献[SW03258]
  • NVIDIA®CUDA®工具包提供了全面的发展…
  • PVS

  • 600篇参考文献[SW0384]
  • PVS是一种验证系统。
  • TPTP

  • 368篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • Z3

  • 465篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • 米兰达

  • 148篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。
  • 莫德

  • 650篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 557篇参考文献[SW06916]
  • 箔条:工程高效的SAT求解器。布尔可满足性…