dreal/concolic — pull request #3 by pondering (2014-04-23 05:02:11+00:00)
Title: feat(src/cmath/cil2smt): basic implementation

1. The Simplify extension is not strong enough. I will try cil's SSA extension.
2. I don't have write permission to the repo.