psi是一款用于概率程序精确推理的引擎

PSI解算器 PSI是一种用于对概率程序进行精确推断的工具。 给定一个概率程序，该工具为该程序计算的表达式的联合后验分布生成一个表达式。 以下研究论文中描述了PSI求解器（另请参见 ）： （原始出版物） （扩展至高阶推论） 兼容性免责声明 PSI当前不尝试对向后兼容性做出任何保证。 如果您的项目依赖于PSI，请记下确切的提交哈希值，以确保其他人可以重现您的结果。 运行./psi --help时，将显示在构建时HEAD的提交。 制作说明 GNU / Linux 快速建立 运行dependencies-release.sh以下载LDC D编译器并解压缩存档。 运行build-release.sh来构建PSI。 $ ./dependencies-release.sh && ./build-release.sh 附加信息 PSI用D编程语言编写。 可从D编译器。 ./build.s