vampire_api (cargo): Just Another Vampire Api 4 Rust
Keywords: java|library|developer|vampire