From bb087fcd83c1a7390a7016821a1b3b877aa6a790 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonho.kong@tri.global>
Date: Thu, 17 Sep 2020 09:47:00 -0400
Subject: [PATCH] chore: Version 4.20.09.1

---
 README.md                     | 4 ++--
 dreal/__init__.py             | 2 +-
 setup.py                      | 2 +-
 setup/ubuntu/16.04/install.sh | 4 ++--
 setup/ubuntu/18.04/install.sh | 4 ++--
 setup/ubuntu/20.04/install.sh | 4 ++--
 tools/dreal.bzl               | 2 +-
 7 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/README.md b/README.md
index 7014b90f..acd11cc3 100644
--- a/README.md
+++ b/README.md
@@ -30,7 +30,7 @@ sudo apt-get install curl
 curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/16.04/install.sh | sudo bash
 
 # Test the installation.
-DREAL_VERSION=4.20.08.1
+DREAL_VERSION=4.20.09.1
 /opt/dreal/${DREAL_VERSION}/bin/dreal
 ```
 
@@ -206,7 +206,7 @@ export PKG_CONFIG_PATH=/usr/local/opt/ibex@2.7.4/share/pkgconfig:${PKG_CONFIG_PA
 Ubuntu 20.04 / 18.04 / 16.04:
 
 ```bash
-export PKG_CONFIG_PATH=/opt/dreal/4.20.08.1/lib/pkgconfig:/opt/libibex/2.7.4/share/pkgconfig:${PKG_CONFIG_PATH}
+export PKG_CONFIG_PATH=/opt/dreal/4.20.09.1/lib/pkgconfig:/opt/libibex/2.7.4/share/pkgconfig:${PKG_CONFIG_PATH}
 ```
 
 Then, `pkg-config dreal --cflags` and `pkg-config dreal --libs` should
diff --git a/dreal/__init__.py b/dreal/__init__.py
index ab55a0e9..96597b1d 100644
--- a/dreal/__init__.py
+++ b/dreal/__init__.py
@@ -20,7 +20,7 @@ def logical_or(*formulas):
     return reduce(__logical_or, formulas)
 
 
-__version__ = "4.20.08.1".replace(".0", ".")
+__version__ = "4.20.09.1".replace(".0", ".")
 
 # Add aliases
 And = logical_and
diff --git a/setup.py b/setup.py
index abc3d10a..2a0409f6 100644
--- a/setup.py
+++ b/setup.py
@@ -12,7 +12,7 @@
 from setuptools.command.bdist_egg import bdist_egg as _bdist_egg
 from setuptools.command.develop import develop as _develop
 
-VERSION = '4.20.08.1'.replace(".0", ".")
+VERSION = '4.20.09.1'.replace(".0", ".")
 ROOT_DIR = os.path.abspath(os.path.dirname(__file__))
 SRC_DIR = os.path.join(ROOT_DIR)
 
diff --git a/setup/ubuntu/16.04/install.sh b/setup/ubuntu/16.04/install.sh
index f8a960eb..024360f6 100755
--- a/setup/ubuntu/16.04/install.sh
+++ b/setup/ubuntu/16.04/install.sh
@@ -12,10 +12,10 @@ add-apt-repository ppa:dreal/dreal -y  # For libibex-dev
 apt-get update
 
 # Install dReal
-DREAL_VERSION=4.20.08.1
+DREAL_VERSION=4.20.09.1
 DREAL_DEBNAME=dreal_${DREAL_VERSION}_amd64.deb
 DREAL_URL=https://dl.bintray.com/dreal/dreal/${DREAL_DEBNAME}
-DREAL_SHA256=2892fcc2029219d3b8c0c1d02171bdc31a2c1ed6e3825e79b5b8346840f15f11
+DREAL_SHA256=b93355bf1059510469606e85ebd99e3962440b1d242d67dec9f323afb4d8260c
 apt-get install --no-install-recommends wget -y
 wget "${DREAL_URL}"
 if echo "${DREAL_SHA256}  ${DREAL_DEBNAME}" | sha256sum -c; then
diff --git a/setup/ubuntu/18.04/install.sh b/setup/ubuntu/18.04/install.sh
index f8a960eb..024360f6 100755
--- a/setup/ubuntu/18.04/install.sh
+++ b/setup/ubuntu/18.04/install.sh
@@ -12,10 +12,10 @@ add-apt-repository ppa:dreal/dreal -y  # For libibex-dev
 apt-get update
 
 # Install dReal
-DREAL_VERSION=4.20.08.1
+DREAL_VERSION=4.20.09.1
 DREAL_DEBNAME=dreal_${DREAL_VERSION}_amd64.deb
 DREAL_URL=https://dl.bintray.com/dreal/dreal/${DREAL_DEBNAME}
-DREAL_SHA256=2892fcc2029219d3b8c0c1d02171bdc31a2c1ed6e3825e79b5b8346840f15f11
+DREAL_SHA256=b93355bf1059510469606e85ebd99e3962440b1d242d67dec9f323afb4d8260c
 apt-get install --no-install-recommends wget -y
 wget "${DREAL_URL}"
 if echo "${DREAL_SHA256}  ${DREAL_DEBNAME}" | sha256sum -c; then
diff --git a/setup/ubuntu/20.04/install.sh b/setup/ubuntu/20.04/install.sh
index f8a960eb..024360f6 100755
--- a/setup/ubuntu/20.04/install.sh
+++ b/setup/ubuntu/20.04/install.sh
@@ -12,10 +12,10 @@ add-apt-repository ppa:dreal/dreal -y  # For libibex-dev
 apt-get update
 
 # Install dReal
-DREAL_VERSION=4.20.08.1
+DREAL_VERSION=4.20.09.1
 DREAL_DEBNAME=dreal_${DREAL_VERSION}_amd64.deb
 DREAL_URL=https://dl.bintray.com/dreal/dreal/${DREAL_DEBNAME}
-DREAL_SHA256=2892fcc2029219d3b8c0c1d02171bdc31a2c1ed6e3825e79b5b8346840f15f11
+DREAL_SHA256=b93355bf1059510469606e85ebd99e3962440b1d242d67dec9f323afb4d8260c
 apt-get install --no-install-recommends wget -y
 wget "${DREAL_URL}"
 if echo "${DREAL_SHA256}  ${DREAL_DEBNAME}" | sha256sum -c; then
diff --git a/tools/dreal.bzl b/tools/dreal.bzl
index 7fed4495..94999c84 100644
--- a/tools/dreal.bzl
+++ b/tools/dreal.bzl
@@ -1,7 +1,7 @@
 # Based on Drake's drake.bzl file,
 # https://github.com/RobotLocomotion/drake/blob/master/tools/drake.bzl.
 
-DREAL_VERSION = "4.20.08.1"
+DREAL_VERSION = "4.20.09.1"
 
 DREAL_PREFIX = "opt/dreal/%s" % DREAL_VERSION