wip/cvc3 2.2 NetBSD

Automatic theorem prover for SMT problems

Homepage
Browse the package
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc-wip
Maintainer: [email protected]
Categories: wip, devel

Description

CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

Install

From pkgsrc-wip (no binary package):

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

Dependencies

Run dependencies 1

devel/gmp

No port depends on this one.