russcip
russcip copied to clipboard
How does this library interact with the scip of the exact-rational branch?
I was wondering how this library would interact if I were to use the exact-rational branch of the scip solver, or if it is even possible.