Gentoo Packages

Search

Package Information

Description:

Vampire is a theorem prover, that is, a system able to prove theorems — although now it can do much more! Its main focus is in proving theorems in first-order logic but it can also prove non-theorems and build finite models, as well as reasoning in combinations of theories, such as arithmetic, arrays, and datatypes, and with higher-order logic. The development of Vampire began in 1994 and has survived a number of rewritings.

Homepage:

https://vprover.github.io/ https://github.com/vprover/vampire/

Versions

Metadata

Description

• Vampire is a theorem prover, that is, a system able to prove theorems — although now it can do much more! Its main focus is in proving theorems in first-order logic but it can also prove non-theorems and build finite models, as well as reasoning in combinations of theories, such as arithmetic, arrays, and datatypes, and with higher-order logic. The development of Vampire began in 1994 and has survived a number of rewritings.

Maintainers

• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

• Bugs: https://github.com/vprover/vampire/issues/
• Remote IDs:
  • github: vprover/vampire

<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    Vampire is a theorem prover, that is, a system able to prove theorems —
    although now it can do much more! Its main focus is in proving theorems in
    first-order logic but it can also prove non-theorems and build finite
    models, as well as reasoning in combinations of theories, such as
    arithmetic, arrays, and datatypes, and with higher-order logic.
    The development of Vampire began in 1994 and has survived a number of
    rewritings.
  </longdescription>
	<use>
		<flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg></flag>
	</use>
	<upstream>
		<bugs-to>https://github.com/vprover/vampire/issues/</bugs-to>
		<remote-id type="github">vprover/vampire</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Missing md5-cache for version 5.0.0. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
• [Warning] Missing md5-cache for version 4.9. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Manifest