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

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

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