CombinatorialOptimisation.SAT

data SATProblem

numUnSATEDClauses

getTrueFalseCount

summariseSAT

makeRandomSATProblem

flipVariable

satproblem

setAllVars

randomiseVariables