inter process communication interface to Yices SMT solver via unix pipe
See Main.hs for example usage.