russcip
russcip copied to clipboard
Methods for getting heuristics/presolving/separating