Index - N
| name | Data.SBV |
| newArray | Data.SBV |
| newArray_ | Data.SBV |
| nonDecreasing | Data.SBV.Examples.BitPrecise.MergeSort |
| NonHomogeneous | Data.SBV.Examples.Existentials.Diophantine |
| not | Data.SBV.Examples.Uninterpreted.Deduce |
| nQueens | Data.SBV.Examples.Puzzles.NQueens |
| numberOfModels | Data.SBV |
| numerator | Data.SBV |