ClauseManager::release
Le compteur de référence pour le free d'une clause ne fonctionne pas. Si 2 solveur appelent ClauseManager::releaseClause, sur la même clause en même temps alors il vont tenté de free la clause 2 fois.
CF: voire code ( ou alex)