v2.1.0

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