Add sat::LiteralSequence and its begin and end for range-based for statement.
Change unique check to use std::adjacent_find.
Add sat::VariableSequence and its begin and end for range-based for statement.
sat::LiteralSequencer: Change a constructor to explicit.
Remove an unused header.
Remove sat::LiteralIterator and its functions because its were unused.
Add functions for range-based for statements.
Rewrite in Google style.
Add SAT_ERROR_MESSAGE macro.
Replace exception messages with the macro.
Replace the exception message with macro.
Replace exception messages with the macro.
Add SAT_ERROR_MESSAGE and Replace exception messages with it.