wip/prover9 11A NetBSD

Prover9 is an automated theorem prover

Homepage
Browse the package
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc-wip
Maintainer: [email protected]
License: gnu-gpl-v2
Categories: wip, math

Description

This package includes Prover9, an automated theorem prover for first-order and equational logic, and Mace4, which searches for finite models and counter examples.

Install

From pkgsrc-wip (no binary package):

cd /usr/pkgsrc/wip/prover9 && make install clean

Dependencies

No port depends on this one.