Get some version of ILP in there

[sameersingh]

Now that we have a rudimentary boolean expression parser, we should be able to support ILP based optimizers.

[guoquan]

Trying to implement one but we need a linear form of the constraint. I try to get it from AST but the current transformation does not result in a linear form constraint as mentioned in #12