Cdcl

Clause Learning fonctionnel.