sat-solve return a vector
Update sat4j-solve after changing generate-dimacs-clauses
Merge