« Changelog History


LogicNG v2.1.0 Release Notes

Release Date: 2021-07-18 // almost 3 years ago

  • ➕ Added

    • Reworked handlers
      • New handlers for backbones, MUS, SMUS, prime compilation, and advanced simplifier
      • three different types for timeout handlers:
        • SINGLE_TIMEOUT: The timeout is started when the handler's started() method is called
        • RESTARTING_TIMEOUT: The timeout is restarted everytime the handler's started() method is called
        • FIXED_END: The timeout is interpreted as a fixed point in time (in milliseconds) at which the computation should be aborted
    • 👌 Improved version detection for compiled and packaged versions of LogicNG
    • ✅ Introduced Mockito for unit tests

    🛠 Fixed

    • 🛠 Fixed a bug in the DIMACS formula writer when there was only a single clause with multiple literals