Reverse Dependencies of nnf

The following projects have a declared dependency on nnf:

• bauhaus — Build logical theories for SAT solvers on the fly
• jaggpy — A Python package for Judgment Aggregation
• macq — Action model acquisition from state trace data.