vampire (math/vampire) Updated: 4 days, 5 hours ago Add to my watchlist

Vampire Theorem Prover

High performance automated theorem prover.

Version: 2024-04-12 License: BSD and MIT

GitHub

Maintainers	landonf
Categories	science math
Homepage	https://github.com/vprover/vampire
Platforms	darwin freebsd
Variants	debug native (Generate code optimized for this machine's CPU. The resulting binaries may not run on other processors) polly (Perform loop and data-locality optimization using LLVM's Polly optimizer) profile (Generate instrumented code that may be used for profile-guided optimization) universal (Build for multiple architectures) z3 (Use Z3)

clang-16

cmake

ninja

No ports

Loading Port Health

2