SCIP seems to be a wonderful open source tool for solving constraint integer problems. It is the standard tools for many university courses. The problem is the installation is not trivial specially for pure mathematicians.
docker pull smirzai/scip
docker run -i smirzai/scip
you are there. you can use scip now. The only catch is that you have to send your files to the container using docker ps command.
PS: I was contacted by SCIP team and they kindly advised me to remove the docker image, as user does not need to accept license agreement with the current installation. I try to solve the problem with them and put the image back in docker hub. For now I have to remove it.