Home

The math/prover9/ladr port

ladr-dec-2007p4 – Library for Automated Deduction Research (cvsweb github mirror)

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/

Maintainer

The OpenBSD ports mailing-list

Categories

lang/python math

Build dependencies

Test dependencies

Reverse dependencies

Files

Search