batsat icon indicating copy to clipboard operation
batsat copied to clipboard
verified publisher icon c-cube

Allow empty theory conflict

Open dewert99 opened this issue 1 year ago • 0 comments

Previously batsat panicked when Theory::raise_conflict was called with an empty clause, but I think it would make sense for the solver to just immediately return unsat

dewert99 avatar Apr 01 '24 18:04 dewert99