ajout de fonction size pour une proof
version du code qui fonctionne : dynamix array pour wlit et backtrack avec maj des clauses
Merge branch 'master' of github.com:fpirot/dpll