Classes
Enumerator
Protocol for classes that can enumerate partial truth assignments for weighted SMT formulas.