Hyper
(Hypotheses finder)
Hyper is a solver for the problem of propositional abduction based on implicit hitting set enumeration.
Authors: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
Homepage: https://reason.di.fc.ul.pt/wiki/doku.php?id=hypers