issues
search
dreal
/
dreal3
There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48
stars
36
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
dReal v3.16.06 gives only upper bound when finding a model of "x > 0"
#259
nikosarechiga
closed
8 years ago
6
--slack-level 3 failures
#258
soonhokong
closed
8 years ago
3
--slack-level test failure
#257
soonhokong
closed
8 years ago
1
ibex newton test fail
#256
soonhokong
closed
8 years ago
2
an optimization problem gives unsat
#255
soonhokong
closed
8 years ago
3
possible problem in bisection
#254
soonhokong
closed
8 years ago
2
segmentation fault in examples/control_examples.cpp
#253
soonhokong
opened
8 years ago
0
segmentation fault in CoreSMTSolver::pickBranchLit
#252
soonhokong
closed
8 years ago
2
segmentation fault in static build (Linux + pthread)
#251
soonhokong
opened
8 years ago
0
Optimize multiprune
#250
soonhokong
closed
8 years ago
2
contractor-refactor test failures
#249
soonhokong
closed
8 years ago
2
segmentation fault
#248
soonhokong
closed
8 years ago
1
implement functionality for --delta
#247
soonhokong
closed
8 years ago
3
polytope bug
#246
scungao
closed
8 years ago
10
Pr238
#245
danbryce
closed
8 years ago
4
Atoms containing only forall variables trigger assertion.
#244
cgd8d
closed
8 years ago
5
Forall problems in DNF form trigger assertion.
#243
cgd8d
closed
6 years ago
2
power(0, 0) exception from CAPD
#242
soonhokong
closed
8 years ago
3
probably tanh bug
#241
scungao
closed
8 years ago
0
failed testcases
#240
soonhokong
closed
8 years ago
3
LP+ICP and fixing bugs in GLPK wrapper
#239
dzufferey
closed
8 years ago
0
Support for Networks of automata in dReach and heuristics in dReal
#238
danbryce
closed
8 years ago
4
--multiheuristic option shows non-deterministic behaviors in return
#237
soonhokong
opened
8 years ago
17
Glpk wrapper
#236
dzufferey
closed
8 years ago
3
uncaught exception from CAPD
#235
soonhokong
closed
8 years ago
0
Add additional branching strategies, heuristics
#234
clhuang
closed
8 years ago
3
Best parameters for some script
#233
Heizmann
closed
8 years ago
1
cannot be handled by any TSolver
#232
Heizmann
closed
8 years ago
2
error message for unspecified ODE variable
#231
soonhokong
closed
8 years ago
1
translated unsupported functions in CAPD4
#230
soonhokong
closed
8 years ago
0
make glpk optional
#229
soonhokong
closed
8 years ago
0
api fixes
#228
scungao
closed
8 years ago
1
more methods in api
#227
scungao
closed
8 years ago
6
more methods in cpp api
#226
scungao
closed
8 years ago
1
slacking operations
#225
scungao
closed
8 years ago
0
dReach code generation error: undefined symbol
#224
mtrberzi
closed
8 years ago
4
inv benchmark files
#223
scungao
closed
8 years ago
0
dReach cannot run dReal; usage message for dReal is displayed and exits immediately
#222
mtrberzi
closed
8 years ago
5
infix format and a seemingly easy hard benchmark
#221
scungao
closed
8 years ago
1
extend pruning operators to take clause_manager
#220
soonhokong
opened
8 years ago
0
some enhancement for ODE visualization
#219
soonhokong
opened
8 years ago
0
option for ODE trace
#218
soonhokong
closed
8 years ago
1
upgrade CAPD4
#217
soonhokong
closed
8 years ago
1
add options to set CAPD absolute/relative tolerance
#216
soonhokong
closed
8 years ago
1
show invariant violation when --ode-show-progress is on
#215
soonhokong
closed
8 years ago
0
add array support in dReach syntax
#214
soonhokong
opened
8 years ago
0
add #include in dReach syntax
#213
soonhokong
opened
8 years ago
0
thread-safe contractor factory
#212
soonhokong
opened
8 years ago
1
symbolic differentiation
#211
scungao
closed
8 years ago
1
strange behavior related to push/pop
#210
xiedingbao
closed
8 years ago
5
Previous
Next