项目描述 ：
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

高级语言： C

项目主页： http://www.cs.unm.edu/~mccune/prover9/

项目地址: git://github.com/ai4reason/Prover9.git

创建时间： 2018-08-08T16:41:17Z
项目社区：https://github.com/ai4reason/Prover9
开源协议：GNU General Public License v2.0
下载