BSD Portsmath/prover9/ladr 2007p5 OpenBSD
Library for Automated Deduction Research
- System
- OpenBSD
- Repository
- OpenBSD ports
- Maintainer
- The OpenBSD ports mailing-list <[email protected]>
- Categories
- math, lang/python
Description
Prover9, Mace4, and several related programs come packaged in a system called LADR (Library for Automated Deduction Research).
Install
Binary package:
pkg_add ladr-decFrom the ports tree:
cd /usr/ports/math/prover9/ladr && make install