Index - N
| NAnd | Funsat.Circuit |
| newSTRef | Control.Monad.MonadST |
| NFalse | Funsat.Circuit |
| NIff | Funsat.Circuit |
| NInput | Funsat.Circuit |
| NIte | Funsat.Circuit |
| NNot | Funsat.Circuit |
| NodeType | Funsat.Circuit |
| NOnlyIf | Funsat.Circuit |
| NOr | Funsat.Circuit |
| not | Funsat.Circuit |
| notMap | Funsat.Circuit |
| NTrue | Funsat.Circuit |
| numClauses | Funsat.Types |
| numVars | Funsat.Types |
| NXor | Funsat.Circuit |