search

dreal / dreal2

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

Update heuristics #71

Open wweic opened 9 years ago

wweic commented 9 years ago

Since we modify the internal representation of hybrid model, the heuristics module needs to update as well.

danbryce commented 9 years ago

Yes, I will do this sometime soon. Thanks for generalizing to multiple jumps between pairs of modes. Is there a simple benchmark that has this?

Thanks,

Dan

On Jan 24, 2015, at 6:51 AM, Wei Chen notifications@github.com wrote:

Since we modify the internal representation of hybrid model, the heuristics module needs to update as well.

— Reply to this email directly or view it on GitHub.