libcprover_rust 6.2.0

Rust API for CBMC and assorted CProver tools