Update README.md to reflect build-in SMTInterpol
Update README.md to reflect build-in SMTInterpol
agacek/jkind,andrewkatis/jkind-1,lgwagner/jkind,lgwagner/jkind,andrewkatis/jkind-1,backesj/jkind,agacek/jkind,backesj/jkind