fix(tools/basic): separate each module out of big type file

dreal / dreal2

Please check dreal4 instead.

https://github.com/dreal/dreal4

GNU General Public License v3.0

13 stars 15 forks source link

Closed wweic closed 10 years ago

wweic commented 10 years ago

finally better to maintain separate files...

soonhokong commented 10 years ago

merged by 34a7d212cd542c2138e49182252211635cae730c

soonhokong commented 10 years ago

Thanks @pondering !