AllSAT implemented.
Merge branch 'master' of https://github.com/Quentinz/bdd

Conflit fixed. Sample code for allSAT use.

Conflicts:
	src/eight_queens/main.cpp