Add some dimacs top matter
Add Expression parser

Fix issue #26

By using the logic expression parser with the Expression.box method, now
you can use strings as part of the expression.

For example:
>>> a, b = map(exprvar, 'ab')
>>> f = -a * b + "-c * d"

Currently only supports the '-', '+', and '*' operators.