mios v1.6.2 Release Notes

    • Mios saves the assignment to a file automatically.
    • 🛠 A bug on a CNF file containing conflicting unit clauses was fixed.
    • Restart heuristics was modified slightly (not evaluated well).