• Karel Koci's avatar
    picosat: allow max_satisfiable for satisfiable result · 19d1e169
    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.
    19d1e169