ports

• lang/python
• math

math/prover9/ladr

• CVSweb
• allbsd
• cgit
• openports.se
• ports-wip

ladr-dec-2007p2 – Library for Automated Deduction Research

Description

Prover9, Mace4, and several related programs come packaged in a system
called LADR (Library for Automated Deduction Research).

WWW: http://www.cs.unm.edu/%7Emccune/prover9/

Categories:

lang/python math

Library dependencies

None

Build dependencies

• lang/python/2.7

Run dependencies

None