[Description] Enumeration based on conflict analysis following a variant of the variable state independent, decaying sum (VSIDS) heuristic. [Member name] 
ConflictDriven
A n y
M i n i m a l D o m a i n F i r s t
D e c l a r a t i o n O r d e r
D y n a m i c W e i g h t i n g
C o n f l i c t D r i v e n
I m p a c t P r e d i c t i o n
D o m a i n O v e r W e i g h t e d D e g r e e