tnelson/Margrave — Issue #83: Minimal unsat. cores?
Author: tnelson
Created: 2012-01-09 18:22:39+00:00
State: open

Can we produce reasons why a query is unsatisfiable? Would help a lot in debugging, to say nothing of how useful it'd be to users.