Issues
- 0
How to use Dreach using Docker
#359 opened by akaph2p - 2
Bad file formatting causes segmentation fault
#347 opened by AntonXue - 1
- 1
Building dreal3 problem
#356 opened by GDelimpa - 0
Buildind dreal3 problem
#355 opened by GDelimpa - 0
- 0
- 2
Forall_t construct [dReal v3.16.04.01] [OSX 10.11.4]
#310 opened by Nikh13 - 0
What hapened to binary releases?
#352 opened by jamesscottbrown - 0
Problems building dreal3
#351 opened by yurivict - 1
gcc-6 + osx build failure
#336 opened by soonho-tri - 0
- 1
Compilation failed
#349 opened by zell08v - 0
- 0
Smt2lib parser in C-API
#344 opened by AndreaCallia - 5
Interactive mode with SMT2 code
#343 opened by AndreaCallia - 3
Support for multiple (check-sat)
#341 opened by AndreaCallia - 2
C-API linking errors
#342 opened by AndreaCallia - 2
Memory leak in translate_enode_to_exprnode
#340 opened by cgd8d - 0
bug in dreach encoding
#339 opened by soonho-tri - 3
Incorrect delta-sat witness
#325 opened by shmarovfedor - 1
- 0
Undefined atom polarity triggers assertion
#337 opened by cgd8d - 0
Support bazel
#326 opened by soonho-tri - 2
License
#327 opened by soonho-tri - 5
Inconsistent behavior while using negation in forall_t
#334 opened by Nikh13 - 0
renew outdated installation documents
#335 opened by soonho-tri - 0
To do in API
#331 opened by scungao - 0
Install APIs
#330 opened by soonho-tri - 1
Check OSX Installation
#328 opened by soonho-tri - 1
Check Ubuntu Installation
#329 opened by soonho-tri - 1
container-overflow from capd4
#324 opened by soonho-tri - 9
Incorrect answer for forall formula with ODEs
#323 opened by shmarovfedor - 3
False unsat result for large numbers
#315 opened by ritter-x2a - 6
Turning off ODE doesn't work
#320 opened by mwoehlke-kitware - 18
BUILD_SHARED_LIB=ON → disaster
#316 opened by mwoehlke-kitware - 0
Check subst in ODE solving
#314 opened by soonho-tri - 0
Add/check constant-folding
#313 opened by soonho-tri - 0
Add more simplifications in parsing
#312 opened by soonho-tri - 0
- 2
clang-3.7 + capd => compiler error
#308 opened by soonho-tri - 2
CLP link error
#307 opened by soonho-tri - 0
some EA problems hit OpenSMT assertions
#306 opened by soonho-tri - 4
clp build issue
#303 opened by soonho-tri - 0
- 0
- 1
Custom datatypes [dReal v3.16.04.01] [OSX 10.11.4]
#301 opened by Nikh13 - 3
dump_dr_file() handles some inequalities wrongly
#299 opened by scungao - 7
- 1
--simulation return wrong UNSAT results
#294 opened by soonho-tri