LogicNG v2.1.0 Release Notes

Release Date: 2021-07-18 // 12 months 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

Previous changes from v2.0.2

  • ๐Ÿ›  Fixed

    • ๐Ÿ›  Fixed another bug for a special case in the DRUP proof generation