soonhokong/dReal — pull request #5 by danbryce (2014-04-14 20:27:09+00:00)
Title: fix(tools): fixed bug in processing path or lack thereof in handling mul...

...tiple deltas