atempting to make yices work rediining check sat to check
forced commit
Merge branch 'master' of https://github.com/MfesGA/Hsmtlib