eeks should have pulled before adding code for smtsolver option
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell

y u ask to merge?
added first log for smtlib-z3 run
why is damn regrtest grumbling. ugh.
adding z3mem benchmark. 100s slower but still.
update zs-smtlib log
next: fix the makefiles
now smtlib-z3 is the DEFAULT, see --smtsolver for specifying others
Merge pull request #94 from ucsd-progsys/smtlib

Smtlib: Use smtlib2 and pipe-based communication instead of linking directly with Z3
adasd
yay, the distinct-with-only-1-element silliness is solved
asdasd
now building with cvc4, lets run tests on goto
asdasd
rebuilds lets see if it works
ONE test now passes without -g
asdad
start converting lits to maybe
filter out non-integer constants
Bytestring.hs down to 5m25s