ddnnife takes a smooth d-DNNF following the standard format specified by c2d or the d4 standard. It can be used to compute the cardinality of single features, all features, or partial configurations. Furthermore, it can compute SAT queries, core/dead features, atomic sets, enumerate complete valid configurations and produce uniform random samples.