math/vampire 4.9.c2024_5
Automatic theorem prover
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
896185a6d8- License
- BSD3CLAUSE
- Categories
- math
- Package size
- 1789.4 KiB, 7417.2 KiB installed
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.
Install
As a binary package — by origin, or by package name:
pkg install math/vampire
pkg install vampireFrom the ports tree:
cd /usr/ports/math/vampire/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= vampire>0:math/vampirePackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 4.9.c2024_4 | 4.9.c2024_4 | 4.5.1 | - | - |
| FreeBSD:14:quarterly | 4.9.c2024_4 | 4.9.c2024_4 | n/a | - | - |
| FreeBSD:15:latest | 4.9.c2024_4 | 4.9.c2024_4 | n/a | - | - |
| FreeBSD:15:quarterly | 4.9.c2024_4 | 4.9.c2024_4 | n/a | n/a | n/a |
| FreeBSD:16:latest | 4.9.c2024_4 | 4.9.c2024_5 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libz3.so: math/z3
The full lists below include those, and their dependencies in turn.
All build dependencies 16
All run dependencies 1
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake compiler:c++17-lang
- Service scripts
- none
Files
distinfo 2
| File | Size | SHA256 |
|---|---|---|
| vprover-vampire-v4.9casc2024_GH0.tar.gz | 1.502934e+06 | 7d0101dc296d0f6fb4f3326febf6a3f3bfd3400b36249a91794789c68a855f3d |
| Z3Prover-z3-79bbbf7_GH0.tar.gz | 5.453931e+06 | 27bec158d3cb33be8204fe429d53a29102af1b61151e26631652ae2dac2b26e6 |
Commit history 3
| Date | Commit | Credits | Log message |
|---|---|---|---|
896185a6d8 |
Älven | math/z3: Update 5.1.0.0 => 5.3.1.0 Approved by: arrowd@ (maintainer)
Differential Revision: https://reviews.freebsd.org/D60825 |
|
c3ee0d25f0 |
Älven | math/z3: Update 5.0.0.0 => 5.1.0.0 Approved by: arrowd@ (maintainer)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D58886 |
|
dfa5362257 |
Yuri Victorovich | math/z3: update 4.16.0.0 → 5.0.0.0 PR: 297106
Approved by: Gleb Popov <[email protected]> (maintainer) |