HYPERSOLVER

HYPERSOLVER: A graphical tool for commonsense set theory