Entailment_Definition
CDCL
Normalisation
Resolution_Superposition
Stochastic_Local_Search
Watched_Literals
IsaSAT
Weidenbach_Book_Base
CDCL_Extensions
More_Refinement_Libs
More_Sepref
Model_Reconstruction
Pairing_Heap
