elina-sys (cargo): Low-level bindings for ELINA
Keywords: abstract-interpretation|hacktoberfest|numerical-analysis