soonhokong/dReal — pull request #1 by pondering (2013-12-23 02:14:28+00:00)
Title: feat(simple-bmc): init code

Merge into dReal.