Fix location of minisat

Small typo in the capitalization.

See #10.
Add running espresso example

For the following computation on two 3-bit unsigned numbers and produces
a 4-bit unsigned number:

s[3:0] = (a[2:0] * b[2:0]) MOD 13

See #11.