ek45

We want to replace cmake with bazel.

We only build project in debug model, so we want to add other build options by passing alternative arguments to `build.sh`.

API Specification

2

In the future, may be we can build a github page for the api specification of this project, which is just like http://z3prover.github.io/api/html/classz3_1_1solver.html.