项目描述 ：
Prove formulas of Presburger Arithmetic

高级语言： Prolog

项目主页： https://www.metalevel.at/presprover/

项目地址: git://github.com/triska/presprover.git

创建时间： 2014-10-19T01:25:52Z
项目社区：https://github.com/triska/presprover
开源协议：
下载