issues
search
dreal
/
DReal.jl
Nonlinear Constraint Solving and Optimization
https://dreal.github.io/
Other
7
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Dreal (not found in project, manifest or registry)
#28
ssantus
closed
3 years ago
2
Info about upcoming removal of packages in the General registry
#27
KristofferC
closed
4 years ago
0
Not able to follow tutorial
#25
makintunde
opened
6 years ago
2
Add Compat explicitly to REQUIRE, don't use Pkg.dir
#24
tkelman
closed
8 years ago
0
keep up with the recent MathProgBase.jl API changes
#23
soonhokong
closed
8 years ago
33
Load Error
#22
dvij
closed
8 years ago
2
Update DReal.jl
#21
sbromberger
closed
9 years ago
1
Another inconsistency?
#20
sbromberger
closed
9 years ago
5
Getting incorrect results - did I model this incorrectly?
#19
sbromberger
closed
9 years ago
17
remove - on julia version in REQUIRE
#18
tkelman
closed
9 years ago
0
Travis for OSX
#17
soonhokong
opened
9 years ago
5
Fix build shared lib filename
#16
iamed2
closed
9 years ago
2
OSX Support
#15
soonhokong
closed
9 years ago
21
Fixed enum failure on nightly
#14
iamed2
closed
9 years ago
2
OS X compatibility
#13
iamed2
closed
9 years ago
0
MathProgBase interface
#12
mlubin
opened
9 years ago
5
ERROR: ccall: could not find function opensmt_mk_num in library libdreal
#11
evanthebouncy
closed
9 years ago
5
context reset not working
#10
soonhokong
opened
9 years ago
0
publish the package in the official Package system
#9
soonhokong
closed
9 years ago
5
Optimisation functions
#8
zenna
opened
9 years ago
5
Bindeps
#7
zenna
closed
9 years ago
1
Unpredictable results from opensmt_check
#6
zenna
closed
9 years ago
5
Shared libraries missing deps
#5
zenna
closed
9 years ago
4
Boolean SAT is wrong
#4
zenna
closed
9 years ago
6
robustness issues
#3
soonhokong
opened
9 years ago
13
latest version of dReal3 (2015 May) returns different result for the first example
#2
soonhokong
closed
9 years ago
13
doc(README.md): add how to get dReal shared libraries
#1
soonhokong
closed
9 years ago
5