added config files for yices not working yet though