dreal/dreal4

Issues

• An issue on multiplication by (-1) for Expressions

  #314 opened 17 days ago by RuikunZhou
  2

• Unable to install dreal4

  #297 opened a year ago by ThisIsJairo
  11

• Install Fail on WSL2

  #312 opened 3 months ago by yogurt-shadow
  0

• Encountered issues with automatic theorem proving using dReal

  #311 opened 6 months ago by cao-jian
  0

• How to run dReach from Docker

  #310 opened 8 months ago by akaph2p
  0

• running smt2 file from command line

  #309 opened 8 months ago by akaph2p
  0

• env: python2.7: No such file or directory

  #308 opened 9 months ago by mahiiizkr
  3

• Trouble Building

  #307 opened 9 months ago by keks
  13

• option for timeout

  #269 opened 2 years ago by soonhokong
  2

• Uninterpreted Functions

  #306 opened a year ago by juliusbrehme
  2

• Integer Division

  #304 opened a year ago by juliusbrehme
  1

• Formula should not be satisfiable

  #305 opened a year ago by juliusbrehme
  2

• Questions regarding the API

  #303 opened a year ago by juliusbrehme
  2

• Geeting wrong delta-sat model on unsat query.

  #302 opened a year ago by trivedi-nitesh
  0

• ImportError: libibex.so: cannot open shared object file

  #300 opened a year ago by megaseptinh
  3

• Colab - Dreal Does not work

  #299 opened a year ago by mizzonimirko
  9

• No python extension to define a Environment

  #296 opened a year ago by HaomiaoLuoLlanio
  2

• Is dReal working on m2 chips?

  #295 opened a year ago by ThisIsJairo
  2

• Issue with installing and configuring IBEX during dependency installation on Mac M1 Chip

  #279 opened 2 years ago by ameesh-shah
  1

• Question about encoding in dreach format

  #288 opened 2 years ago by elmiraafra
  0

• Build problem MacOS - Ibex Installation

  #282 opened 2 years ago by MominaSajid
  3

• Missing image in documentation?

  #285 opened 2 years ago by pwintz
  2

• [Bug] Unsat with large hexadecimal constant for Ints

  #284 opened 2 years ago by PaulBonnot
  1

• Unable to build dreal

  #281 opened 2 years ago by alre5639
  1

• Same assertions are incorrectly SAT with ints and UNSAT with reals.

  #280 opened 2 years ago by kunalsheth
  0

• Solving DNN with dreal

  #278 opened 2 years ago by Krayn
  12

• Missing logic

  #274 opened 2 years ago by soonhokong
  0

• ToPrefix generates non-SMTLIB-compliant strings

  #275 opened 2 years ago by soonhokong
  0

• arch-based distro build help

  #267 opened 2 years ago by johnviljoen
  2

• Multivariable results in long computation time.

  #253 opened 2 years ago by LGM97
  4

• ibex-2.8.6

  #261 opened 3 years ago by soonhokong
  2

• python binding support

  #268 opened 2 years ago by kgoyal40
  0

• Soft Constraints in dreal

  #259 opened 3 years ago by kgoyal40
  4

• Dreal minimization at every point in interval

  #266 opened 2 years ago by alre5639
  2

• Unsoundness bug with smt2 file over arctan2 function.

  #258 opened 3 years ago by KJongUk
  5

• Soundness Bug with QF_NRA formula.

  #265 opened 2 years ago by KJongUk
  1

• Rounding when using very large integers

  #264 opened 2 years ago by rasheedja
  1

• dReal documentation

  #263 opened 2 years ago by ayeshamkzhh
  1

• Issue in using dReal4

  #262 opened 3 years ago by ayeshamkzhh
  2

• Python import dreal ibex library not found

  #260 opened 3 years ago by INPUTrrr0
  3

• How to convert smt2 file to AST?

  #256 opened 3 years ago by KJongUk
  2

• Unsoundness bug with smt2 file over real numbers.

  #255 opened 3 years ago by KJongUk
  4

• Multivariable results in long computation time

  #254 opened 3 years ago by LGM97
  1

• Unsoundness for large formulas with integer variables in the C++ interface.

  #250 opened 3 years ago by gavlegoat
  11

• Something is not right with user-defined functions

  #247 opened 3 years ago by baoluomeng
  2

• The strange result of multiplication in formula

  #248 opened 3 years ago by Taeyang123456
  1

• The argument order to define-fun is not respected

  #245 opened 3 years ago by baoluomeng
  3

• dReal4 check the Lyapunov stability out of the basin of interest

  #244 opened 3 years ago by kimukook
  3

• Ubuntu 16.04 LTS support will be dropped by the end of Apr 2021

  #243 opened 3 years ago by soonho-tri
  1

• Is there timeout for CheckSatisfiability()?

  #241 opened 3 years ago by xhajnal
  1