Your Dockerfile doesn't work due to lack of ubuntu version.

[maxvonhippel]

• [x ] Ensure the bug was not already reported by searching on GitHub under Issues.
• [ x] Be sure to include a title and clear description, as much relevant information as possible including:
  • [x ] dReal version (output of dReal --version)
  • [ x] smt2 or drh files with the expected behavior that is not occurring (i.e. delta-sat / unsat).
  • [ x] Environment including OS and Compiler (for example, OS X 10.11.4 + clang-3.6.2)

Literally none of the above things matter here (dReal version, environment, etc.)

here is the issue. In your Dockerfile, you have:

FROM ubuntu

but the latest Ubuntu fails on the line

RUN apt-get -y install -qq autoconf automake bison flex git libtool make pkg-config python-software-properties texinfo

with the output

(base) max@max-XPS-13-9310:~/tools/dreal3/dreal3/dockerbuild$ sudo docker build .
[sudo] password for max:              
Sending build context to Docker daemon  3.072kB
Step 1/12 : FROM ubuntu
 ---> f63181f19b2f
Step 2/12 : MAINTAINER Fedor Shmarov <[email protected]>
 ---> Using cache
 ---> 1c8e6b420e13
Step 3/12 : VOLUME /usr/local/src/dreal/src
 ---> Using cache
 ---> 042c6ca9fb8c
Step 4/12 : VOLUME /usr/local/src/dreal/bin
 ---> Using cache
 ---> f2ad66986d47
Step 5/12 : RUN apt-get update
 ---> Using cache
 ---> 7d287a950eac
Step 6/12 : RUN apt-get -y install -qq build-essential
 ---> Using cache
 ---> 76da9d5979f4
Step 7/12 : RUN apt-get -y install -qq autoconf automake bison flex git libtool make pkg-config python-software-properties texinfo
 ---> Running in f7dc16278f1b
E: Package 'python-software-properties' has no installation candidate
The command '/bin/sh -c apt-get -y install -qq autoconf automake bison flex git libtool make pkg-config python-software-properties texinfo' returned a non-zero code: 100

for details see here. But more usefully, you can just fix the issue by specifying the desired Ubuntu version, e.g.:

FROM ubuntu:12.04

[maxvonhippel]

Your checklist for a PR is kind of tedious so I won't do it, but the issue ^ above makes it obvious how to fix this, so if you find this useful you can easily implement the fix. Thank you for making this interesting tool which I enjoy learning about and using.