• 利米

  • 参考第4条【sw20206】
  • 实现基本反链算法的库独立关系。图书馆需要。。。托尔斯滕拉赫。从非先发制人到先发制人行程安排使用同步合成。。。
  • ESBMC

  • 参考7篇文章[sw09946]
  • 基于可满足性的嵌入式C/C++软件理论(SMT)求解器。它允许验证工程师。。。好。也提供了三种方法,日程安排和记录下的模型。。。
  • 男爵

  • 在311篇文章中引用[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 差距

  • 引用2850篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 岩浆

  • 引用2857篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用5880篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用文献531篇[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用558篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 圣哲

  • 在1617篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 棱镜

  • 引用406篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 普萨托

  • 引用了40篇文章[sw02635]
  • PSATO:一个分布式/并行命题可满足性证明器。。。