BSD Ports

math/cvc5 1.2.1 DragonFly

Automatic theorem prover for SMT (Satisfiability Modulo Theories)

System
DragonFly
Repository
DPorts
Maintainer
[email protected] (as in FreeBSD)
License
BSD3CLAUSE
Categories
java, math
Package size
6164.6 KiB, 23746.8 KiB installed

Description

An efficient open-source 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.

In the other systems

SystemPortVersion
DragonFlymath/cvc51.2.1
FreeBSDmath/cvc51.4.2
NetBSDmath/cvc51.4.0

Install

Binary package:

pkg install cvc5

From DPorts:

cd /usr/dports/math/cvc5 && make install clean

Dependencies

Run dependencies 6

No port depends on this one.