ravencheck 0.1.2

Decidable verification of Rust code using relational abstraction.

1
2

mod sets;
mod sets_using_alias;