Issues

• How to use Dreach using Docker

  dreal/dreal3#359 · Filter by author MKapuria opened on Oct 20, 2023

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

  dreal/dreal3#358 · Filter by author maxvonhippel opened on Feb 21, 2021
  1

• Any way to overcome high order enclosure error?

  dreal/dreal3#354 · Filter by author SunandanAdhikary opened on Aug 23, 2019

• Why does the integral work when the lower bound is 0?

  dreal/dreal3#353 · Filter by author shrey183 opened on Jul 26, 2019

• What hapened to binary releases?

  dreal/dreal3#352 · Filter by author jamesscottbrown opened on Jul 31, 2018

• Problems building dreal3

  dreal/dreal3#351 · Filter by author yurivict opened on Jul 24, 2018

• Please allow the use of packages for all dependencies

  dreal/dreal3#350 · Filter by author yurivict opened on Apr 3, 2018

• Compilation failed

  dreal/dreal3#349 · Filter by author zell08v opened on Jan 8, 2018
  1

• MTIDD linking problem with older versions of GCC (4.9 and 5.3)

  dreal/dreal3#348 · Filter by author dzufferey opened on Sep 21, 2017

• Smt2lib parser in C-API

  dreal/dreal3#344 · Filter by author AndreaCallia opened on Jun 14, 2017

• Memory leak in translate_enode_to_exprnode

  dreal/dreal3#340 · Filter by author cgd8d opened on Apr 21, 2017
  2

  

• bug in dreach encoding

  bug
  dreal/dreal3#339 · Filter by author soonho-tri opened on Apr 11, 2017
  

• gcc-6 + osx build failure

  dreal/dreal3#336 · Filter by author soonho-tri opened on Feb 16, 2017
  1

  

• renew outdated installation documents

  dreal/dreal3#335 · Filter by author soonho-tri opened on Feb 16, 2017
  

• Inconsistent behavior while using negation in forall_t

  bug
  dreal/dreal3#334 · Filter by author Nikh13 opened on Feb 6, 2017
  5

  

• To do in API

  dreal/dreal3#331 · Filter by author scungao opened on Jan 17, 2017
  

• Support bazel

  enhancement
  dreal/dreal3#326 · Filter by author soonho-tri opened on Dec 29, 2016
  

• Incorrect delta-sat witness

  bug
  dreal/dreal3#325 · Filter by author shmarovfedor opened on Dec 21, 2016
  3

  

• Check subst in ODE solving

  dreal/dreal3#314 · Filter by author soonho-tri opened on Oct 14, 2016

• Add/check constant-folding

  dreal/dreal3#313 · Filter by author soonho-tri opened on Oct 14, 2016

• Add more simplifications in parsing

  dreal/dreal3#312 · Filter by author soonho-tri opened on Oct 14, 2016

• Install ${prefix}/lib instead of ${prefix}/lib/dreal

  enhancement
  dreal/dreal3#311 · Filter by author soonho-tri opened on Oct 14, 2016
  

• some EA problems hit OpenSMT assertions

  bug
  dreal/dreal3#306 · Filter by author soonho-tri opened on Sep 29, 2016
  

• make an option to enable polytope only for the outer loop for EA problems

  enhancement
  dreal/dreal3#304 · Filter by author soonho-tri opened on Sep 27, 2016
  

• Custom datatypes [dReal v3.16.04.01] [OSX 10.11.4]

  dreal/dreal3#301 · Filter by author Nikh13 opened on Sep 12, 2016
  1