GitHub repository: mmghannam/russcip
Primary language: C
Description: Rust interface for SCIP