Reverse Dependencies of nxpd

The following projects have a declared dependency on nxpd:

• dc-qiskit-algorithms — General algorithms with qiskit as basis
• lattices — Lattices is a package for the construction of lattices from a set of nodes and
• LeanEuler — Lean implementation of core of EulerX functionality
• naruhodo — A python library for automatic semantic graph generation from human-readable text.
• PW-explorer — An Extensible Possible World Explorer for Answer Set Programming
• PWE-Diagnostic-Lattice-Tool — Companion Tool to PWE for problems with switchable constraints.