| nAssigns | SAT.Mios.Solver |
| nClauses | SAT.Mios.Solver |
| ndd | SAT.Mios.Solver |
| nddOf | SAT.Mios.Criteria |
| neg | SAT.Mios.Util.BoolExp, SAT.Mios.Util.DIMACS |
| negateLit | SAT.Mios.Types |
| new' | SAT.Mios.Vec, SAT.Mios.Types |
| newClauseFromStack | SAT.Mios.Clause |
| newClausePool | SAT.Mios.ClausePool |
| newClauseVector | SAT.Mios.Clause |
| newEMA | SAT.Mios.Types |
| newManager | SAT.Mios.ClauseManager |
| newSolver | SAT.Mios.Solver, SAT.Mios.Main |
| newStack | SAT.Mios.Vec, SAT.Mios.Types |
| newStackFromList | SAT.Mios.Vec, SAT.Mios.Types |
| newVec | SAT.Mios.Vec, SAT.Mios.Types |
| newWatcherList | SAT.Mios.ClauseManager |
| nextRestart | SAT.Mios.Solver |
| nLearnts | SAT.Mios.Solver |
| NoDump | SAT.Mios.Types |
| NullClause | SAT.Mios.Clause |
| numberOfClauses | SAT.Mios.Util.BoolExp, SAT.Mios.Util.DIMACS |
| numberOfVariables | SAT.Mios.Util.BoolExp, SAT.Mios.Util.DIMACS |
| NumOfAssigned | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfBackjump | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfBlockRestart | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfClause | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfGeometricRestart | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfLearnt | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfPropagation | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfReduction | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfRestart | SAT.Mios.Types, SAT.Mios.Solver |
| NumOfVariable | SAT.Mios.Types, SAT.Mios.Solver |
| nVars | SAT.Mios.Solver |