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