5 projects
PWE-Diagnostic-Lattice-Tool
Companion Tool to PWE for problems with switchable constraints.
PW-explorer
An Extensible Possible World Explorer for Answer Set Programming
PWE-NB-Extension
A Notebook Extension for the Possible Worlds Explorer
LeanEuler
Lean implementation of core of EulerX functionality
PWE-CLI
A CLI Interface to the Possible Worlds Explorer
