Reverse Dependencies of dnnv

The following projects have a declared dependency on dnnv:

• dnnf — dnnf - dnn property falsification