基于等价性的信念改变工具包
equibel的Python项目详细描述
当前支持的平台
- MacOSX（在OSX10.10.5上测试）和Python2.7.x
- 64位Linux（在Ubuntu14.04上测试）和Python2.7.x
注意，虽然equibel是作为一个python包分发的，但是系统的核心是 使用应答集编程（asp）实现，并依赖于底层的asp解算器 称为"cligo"，它是 波茨坦答案集解决方案集（potasco）
特别是，equibel有两个与asp相关的依赖项： python gringo模块 从python中提供一个asp解算器的接口，以及 asprin.parser ， 它是 asprin 首选项处理框架的一个组件。对阿司匹林进行了描述 更详细的信息，可在此处下载 从 这里
equibel的python组件是跨平台高度可移植的；然而，gringo组件 必须为特定的系统配置编译asprin.parser依赖项， 生成特定于系统的二进制文件。为了简化一些常见系统的使用 配置，equibel包括这些依赖项的预编译二进制文件 64位ubuntu linux和mac操作系统。
如果equibel在安装后无法正常工作，这可能是因为预编译的二进制文件与您的系统不兼容。 在这种情况下，必须通过下载所需的 直接来自potasco的组件。 为了在equibel中使用自定义二进制文件，建议您遵循 上给出的安装说明 github项目页，其中包括下载 equibel的源代码，提供对目录的访问权限，您可以在其中覆盖 包含您自己的二进制文件。
欢迎加入QQ群-->： 979659372
