• 洛拉

  • 引用24篇文章[sw04381]
  • 低电平分析仪。有了萝拉,我们。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • 莫德

  • 引用652篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 参考文献561篇[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。
  • 声纳

  • 引用3篇文章[sw10884]
  • 面向团队流程的模型驱动中间件支持。。。
  • LTL2BA

  • 参考文献95篇[sw10956]
  • 快速翻译到chiülta自动机。我们呈现。。。
  • github

  • 参考1266篇文章[sw23170]
  • GitHub(原名Logical Awesome LLC)[3。。。