DPLLStateContents -> FunsatState. export and document dpllConfig.
DPLLStateContents -> FunsatState.
export and document dpllConfig.

rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat