FRDCSA:

vampire

Jump To: Parent Description

![GitHub Workflow Status (branch)](https://img.shields.io/github/workflow/status/vprover/vampire/CI/master) ![GitHub release (latest by date)](https://img.shields.io/github/v/release/vprover/vampire)