inter process communication interface to Yices SMT solver via unix pipe

nothing here yet!

move along, citizen