A library that defines the rules that translates Rust IR to logical predicates.

See Github for up-to-date information.