Reverse Dependencies of PW-explorer

The following projects have a declared dependency on PW-explorer:

• LeanEuler — Lean implementation of core of EulerX functionality
• PWE-CLI — A CLI Interface to the Possible Worlds Explorer
• PWE-Diagnostic-Lattice-Tool — Companion Tool to PWE for problems with switchable constraints.
• PWE-NB-Extension — A Notebook Extension for the Possible Worlds Explorer