- added check directly at start-up if a SAT solver can be used

- log level is now increased to SEVERE

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@12350 7aec93f6-bc54-0410-ac70-7d7c9efa889a