elina (cargo): Safe, high-level Rust wrapper for ELINA
Keywords: abstract-interpretation|hacktoberfest|numerical-analysis