Fix in DIMACS parsing

lib/dimacs.h

@@ -122,7 +122,8 @@ template <class InputIterator>
 InputIterator
 SUBool::Dimacs::skip_blanks(InputIterator begin, InputIterator end)
 {
-   return std::find_if_not(begin, end, [](auto c) { return std::isblank(c); });
+   return std::find_if_not(
+       begin, end, [](auto c) { return c != '\n' && std::isspace(c); });
 }
 
 template <class InputIterator>