Removed temporary solution

- Removed temporari solution for prefSAT inside pref
~ Regenerated Doxygen