Functionsยง
- conjuncts
- Converting an expression to a conjunctive normal form can lead to a large number of expression nodes. For now, we will just extract the conjuncts from the expression, and return a vector of conjuncts. We could look at try cnf with a size cap and otherwise return the original conjuncts.