I use SCIP because it has nice branching tools like handler, but the solver is not as fast as I would like. I got access to gurobi (and maybe cplex) because I know they can work together, but have no idea.
Disclaimer: I have use cmake and install pyscipopt trough conda.