WeakRef

sat

writeToDimacsFile

SATFeatureModel

writeToFile

SATFeatureModel