'feat(dsolver): add option for gradient brancher

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

Closed dzufferey closed 8 years ago

dzufferey commented 8 years ago

add an option to choose between grandient brancher and size brancher for the naive_icp.

This change is

soonho-tri commented 8 years ago

Closed by f2b2d44c57fdafec3cdc8d2c57d9f893e6616769 (changed commit title).

soonho-tri commented 8 years ago

I also added 621bd47106927e849eb0a6842550efe6793b9666 (suggested by @scungao).