All Versions
20
Latest Version
Avg Release Cycle
100 days
Latest Release
-

Changelog History
Page 1

  • v1.6.2

    • 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).
  • v1.6.1

    June 18, 2018
    • 👉 Use CPU clock time in benchmark mode correctly
    • Introduce new algorithms:
      • ACIDS (average conflict-index decision score); Armin Biere and Andreas Fröhlich, "Evaluating CDCL Variable Scoring Schemes", LCSN, vol.9340, pp.405-422, 2015.
      • An EMA-based restart heuristics (not evaluated well; might be canceled in a future release)
      • A new clause scoring scheme
    • The clause sorter doesn't allocate a temporal vector
    • 0️⃣ Set a maximum heap size as a terminating trigger (default: 7GB)
  • v1.6.0

    December 20, 2017
    • switch to hpack
    • 0️⃣ set a default memory limit in compile-time (fixed in 1.6.0.2)
  • v1.6.0.2

    June 18, 2018
  • v1.5.4

    December 17, 2017
    • 'sortClauses' didn't use clause activity correctly and now uses 2 * Int64 layout.
  • v1.5.3

    December 13, 2017
    • implement EMA based Glucose heuristics (Biere 2015) #62
    • 🛠 fix a bug on learnt clause reduction in a marginal situation
    • ⏱ thread-based timeout handling #58
    • ⚡️ update command line options
    • ⚡️ update the benchmark report format #64
    • ➕ add a new type to represent a search result #64
    • further adaptation to 64-bit CPU
  • v1.5.2

    November 24, 2017
    • ➕ add options for benchmark, using a timeout thread
  • v1.5.1

    • 🛠 fix a bug in simplifyDB
    • ⚡️ revise VARUPDATEACTIVITY (#52)
    • revise blockers (#53)
    • ♻️ refactor mios.cabal
  • v1.5.0

    October 23, 2017
    • implement LBD
    • misc micro tuning
    • ➕ add some utilities
    • switch to SAT Competition 2017 main track for benchmark
  • v1.4.1

    🚀 A maintenance release:

    • 🐎 use ByteArray; no performance boost.
    • ➕ add a copy of a branch: MultiConflict.