Master index | Index for Mateda2.0/functions/sat

# Index for Mateda2.0/functions/sat

## Matlab files in this directory:

EvaluateSAT | [valfun] = EvaluateSAT(solution)
LoadRandom3SAT | [Formulas] = loadSAT(n, mum_i)
MakeConfObjectivesFormulas | [Formulas]=MakeConfObjectivesFormulas(n,m,c,cfixed)
MakeIndObjectivesFormulas | [Formulas]=MakeIndObjectivesFormulas(n,m,c,cfixed,fixedvars)
MakeRandomFormulas | [Formulas]=MakeRandomFormulas(n,m,c)
MakeVarDepFormulas | [Formulas]=MakeVarDepFormulas(n,m,c,relatedvars,ratio)

## Subsequent directories:

- instances