Small adjustments
fixed error
Merge branch 'master' of github.com:wdblair/composite-smt
Merge branch 'master' of github.com:wdblair/composite-smt
Merge branch 'master' of github.com:wdblair/composite-smt
Added source code for yices2
Merge branch 'master' of github.com:wdblair/composite-smt