| Port details on branch 2024Q1 |
- vampire Automatic theorem prover
- 4.8 math
 =0      4.8Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2024-02-04 21:09:11
- Last Update: 2024-02-04 21:05:53
- Commit Hash: d46f325
- License: BSD3CLAUSE
- WWW:
- https://vprover.github.io/
- Description:
- Automatic theorem proving has a number of important applications, such as
software verification, hardware verification, hardware design, knowledge
representation and reasoning, the Semantic Web, algebra, and proving theorems
in mathematics. Over 50 years of research in theorem proving have resulted in
one of the most advanced and elegant theories in computer science. This area is
an ideal target for scientific engineering: implementation techniques have to be
developed to realise an advanced theory in practically valuable tools.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/vampire/ && make install clean
- To add the package, run one of these commands:
- pkg install math/vampire
- pkg install vampire
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: vampire
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1689226827
SHA256 (vprover-vampire-vHO4.8_GH0.tar.gz) = 7d6f906c08c265aeac5601c7eceefec3dc5d8e1e720f3fd2466eec0cc4f6cc9c
SIZE (vprover-vampire-vHO4.8_GH0.tar.gz) = 1538556
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_vampire
- USES:
- cmake compiler:c++14-lang
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.
