option for restart strategy with default no-restart
benchmark script adapted to last version

This uses the satlib option that warmup the JVM and
benchmarks the whole directory.
improve 2-watched and representation of literals

the 2 literal watched are implicitly the two first elements
of the array of literals in each clause. We keep moving literals
around to maintain this invariant.

Literals are now represented using positive integer, alternating
between pair and impair. 0 is v1, 1 is -v1, 2 is v2, 3 is -v2, and so
on...
fix benchmark option
trail contains literals
more regression tests
no more sorting of learnt clause
unchecked apply on FixedIntStack
SAT won't stop to amaze me
more readable stats
a TODO list
more todo
the long awaited license
cafesat logo
Update README.md
Fix REAMDE paragraph
better logo
eval for set of clauses
fix warnings with 2.10
naive sat solver