https://pypi.org/project/dreal/ Recent updates to the Python Package Index for dreal en https://pypi.org/project/dreal/4.21.6.2/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Sat, 19 Jun 2021 14:11:49 GMT https://pypi.org/project/dreal/4.21.6.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Thu, 03 Jun 2021 11:28:04 GMT https://pypi.org/project/dreal/4.20.12.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Fri, 11 Dec 2020 00:59:50 GMT https://pypi.org/project/dreal/4.20.9.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Thu, 17 Sep 2020 14:18:07 GMT https://pypi.org/project/dreal/4.20.8.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Sat, 01 Aug 2020 15:00:18 GMT https://pypi.org/project/dreal/4.20.7.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Wed, 22 Jul 2020 01:51:42 GMT https://pypi.org/project/dreal/4.20.4.2/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Sun, 26 Apr 2020 23:01:42 GMT https://pypi.org/project/dreal/4.20.4.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Mon, 20 Apr 2020 13:29:08 GMT https://pypi.org/project/dreal/4.20.3.2/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Sun, 15 Mar 2020 20:40:50 GMT https://pypi.org/project/dreal/4.19.10.3/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Sun, 29 Dec 2019 18:40:51 GMT https://pypi.org/project/dreal/4.19.10.2/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Tue, 08 Oct 2019 18:36:56 GMT https://pypi.org/project/dreal/4.19.8.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Mon, 26 Aug 2019 19:22:04 GMT https://pypi.org/project/dreal/4.19.6.3/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Mon, 17 Jun 2019 18:56:59 GMT https://pypi.org/project/dreal/4.19.6.2/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Fri, 14 Jun 2019 00:35:47 GMT https://pypi.org/project/dreal/4.19.4.4.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Tue, 21 May 2019 19:41:45 GMT https://pypi.org/project/dreal/4.19.4.4/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Fri, 12 Apr 2019 19:53:39 GMT https://pypi.org/project/dreal/4.19.4.3/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Mon, 08 Apr 2019 11:34:22 GMT https://pypi.org/project/dreal/4.19.4.2/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Fri, 05 Apr 2019 20:05:40 GMT https://pypi.org/project/dreal/4.19.4.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Tue, 02 Apr 2019 03:26:34 GMT https://pypi.org/project/dreal/4.19.3.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Mon, 11 Mar 2019 04:50:54 GMT https://pypi.org/project/dreal/4.19.2.1/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Tue, 12 Feb 2019 17:36:12 GMT https://pypi.org/project/dreal/4.18.11.4/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Fri, 30 Nov 2018 17:58:37 GMT https://pypi.org/project/dreal/4.18.11.3/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Sun, 18 Nov 2018 16:58:50 GMT https://pypi.org/project/dreal/4.18.11.2.7/ SMT Solver for Nonlinear Theories of Reals soonho.kong@gmail.com Thu, 15 Nov 2018 05:53:53 GMT