search

dreal / dreal2

Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13 stars 15 forks source link

Buffer over flow error #35

Closed usmanrauf85 closed 10 years ago

usmanrauf85 commented 10 years ago

Hi I am trying to a case study and getting buffer over flow error, please you have a look at it, can it be fixed?

https://www.dropbox.com/s/ie3w2pyrf0wfyb3/sensor5.smt2

soonhokong commented 10 years ago

Fixed by 92971f664e412739447b7077d6531c4942de9de4.

@usmanrauf85, I've also updated the link for the static binary. Please download again and test it.

usmanrauf85 commented 10 years ago

Thanks Soonho,

 But where is the link ? I couldn't find it.

Regards, Usman Rauf

soonhokong commented 10 years ago

http://dreal.cs.cmu.edu/archives/solver