-
Karel Koci authored
Function max_satisfiable can be called even if result is satisfiable. In such case it returns all assumptions. But less handy is that it reassumes all assumptions. This is now noted in documentation and some tests were added for this purpose.