goldfarb_idnani
To install the solver: sudo docker build . -t goldfarb-idnani-test:1
To run the solver: sudo docker run --rm -it goldfarb-idnani-test:1
To install the solver: sudo docker build . -t goldfarb-idnani-test:1
To run the solver: sudo docker run --rm -it goldfarb-idnani-test:1