人
开发人员
乍得E.布朗:主要开发者。他为Satallax 1.*编写了大部分口齿不清的代码,为Satalla 2.0编写了与搜索相关的ocaml代码。
贡献者
杰夫·萨特克利夫:Geoff Sutcliffe运行TPTP公司.他测试Satallax并确保其符合TPTP。Satallax可以通过TPTP上的系统第页。
Frank Theiß:Frank Theiß编写ocaml代码来解析TPTP语法。此代码编写用于LEO-II,但现在也用于Satallax。
致谢
格特·斯莫尔卡:Satallax是在Gert Smolka的勒尔斯图尔在萨尔兰大学.Satallax的搜索过程主要基于一个完整的表演算对于由开发的无选择的简单类型理论棕色和Smolka.允许Satallax终止的限制实例化的结果表明一些基本一阶问题的可满足性也来自Brown和Smolka的工作。
朱利安·巴克斯:朱利安·巴克斯(Julian Backes)是查德·布朗(Chad Brown)在斯莫尔卡·莱赫斯图尔(Smolka Lehrstuhl)的硕士生。Backes和Brown将Brown和Smolka的表演算扩展为完整的对于带有选择算子的简单类型理论。
克里斯·本穆勒是LEO-II的主要开发者长期以来,在高阶定理证明方面做了大量工作。Satallax和LEO-II使用了一些相同的解析代码。