issues
search
dreal
/
dreal4
Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151
stars
32
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
option for timeout
#269
soonhokong
opened
2 years ago
2
python binding support
#268
kgoyal40
opened
2 years ago
0
arch-based distro build help
#267
johnviljoen
closed
2 years ago
2
Dreal minimization at every point in interval
#266
alre5639
closed
2 years ago
2
Soundness Bug with QF_NRA formula.
#265
KJongUk
opened
2 years ago
1
Rounding when using very large integers
#264
rasheedja
opened
2 years ago
1
dReal documentation
#263
ayeshamkzhh
closed
2 years ago
1
Issue in using dReal4
#262
ayeshamkzhh
closed
2 years ago
2
ibex-2.8.6
#261
soonhokong
opened
3 years ago
2
Python import dreal ibex library not found
#260
INPUTrrr0
closed
3 years ago
3
Soft Constraints in dreal
#259
kgoyal40
closed
3 years ago
4
Unsoundness bug with smt2 file over arctan2 function.
#258
KJongUk
opened
3 years ago
5
Update 3rd party deps
#257
soonho-tri
closed
3 years ago
0
How to convert smt2 file to AST?
#256
KJongUk
opened
3 years ago
2
Unsoundness bug with smt2 file over real numbers.
#255
KJongUk
closed
3 years ago
4
Multivariable results in long computation time
#254
LGM97
closed
3 years ago
1
Multivariable results in long computation time.
#253
LGM97
closed
2 years ago
4
fix(solver/theory_solver): FilterAssertion
#252
soonho-tri
closed
3 years ago
1
Fix explanation
#251
soonho-tri
closed
3 years ago
0
Unsoundness for large formulas with integer variables in the C++ interface.
#250
gavlegoat
closed
3 years ago
11
fix(smt2/term.cc): Fix Term::Substitute
#249
soonho-tri
closed
3 years ago
0
The strange result of multiplication in formula
#248
Taeyang123456
closed
3 years ago
1
Something is not right with user-defined functions
#247
baoluomeng
closed
3 years ago
2
fix(smt2/parser.yy): Fix name_sort_list
#246
soonho-tri
closed
3 years ago
0
The argument order to define-fun is not respected
#245
baoluomeng
closed
3 years ago
3
dReal4 check the Lyapunov stability out of the basin of interest
#244
kimukook
closed
3 years ago
3
Ubuntu 16.04 LTS support will be dropped by the end of Apr 2021
#243
soonho-tri
closed
3 years ago
1
bazel: Use spdlog-1.8.5
#242
soonho-tri
closed
3 years ago
0
Is there timeout for CheckSatisfiability()?
#241
xhajnal
closed
3 years ago
1
Bazel build failure
#240
rgyen
closed
3 years ago
4
Use precision guard
#239
soonho-tri
closed
3 years ago
1
Usage: How to Encode Derivatives
#238
chelseas
opened
3 years ago
3
Different answers from dReal to the same problem
#237
baoluomeng
closed
3 years ago
2
Defining own variable types
#236
fabianbauermarquart
closed
3 years ago
1
Where can I learn the introduction and usage of various functions in Dreal
#235
LGM97
closed
3 years ago
3
how can i install on windows
#234
xulangping
closed
3 years ago
1
travis: Update macOS
#233
soonho-tri
closed
3 years ago
0
fix(third_party/kythe): Update genyacc
#232
soonho-tri
closed
3 years ago
0
Error with bazel 4.0 rc2
#231
jwnimmer-tri
closed
3 years ago
3
Unable to verify hyperbolic identity
#230
remysucre
closed
3 years ago
2
Clang 11 / python 3.9
#229
soonho-tri
closed
4 years ago
1
Incorrect models using --model
#228
rubenpraets
closed
3 years ago
3
docs: Add BuildOnFedora.md
#227
soonho-tri
closed
4 years ago
11
Random Brancher
#226
soonho-tri
opened
4 years ago
0
Support `define-fun`
#225
LeventErkok
closed
4 years ago
3
The example on the landing page encodes a different problem than what's stated
#224
LeventErkok
closed
4 years ago
3
More SMTLib compliance
#223
LeventErkok
opened
4 years ago
0
How should I interpret this output?
#222
LeventErkok
closed
4 years ago
2
SMTLib: Support distinct
#221
LeventErkok
closed
4 years ago
4
Rename to --smtlib2-compliant; Support (get-option)
#220
soonho-tri
closed
4 years ago
2
Previous
Next