easy-smt (cargo): Easily interact with an smt solver as a subprocess
Keywords: smt