核桃

沃尔纳特中的定理自动证明核桃是一种软件包,它实现了一种机械决定程序,用于确定一些被称为自动字或自动序列的特殊词的某些组合性质。核桃是用Java编写的,是开源的。它是根据GNU通用公共许可证颁发的。