Uncommented linking with libstdc++.
Updated Val_clause to match the most recent minisat API.