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.
• quark-famework — Framework for Quantum Computing Application Benchmarking
• quark-framework — Framework for Quantum Computing Application Benchmarking