1.4.0

Clingo-Explaid adds Explorers 🧭

• Exploring the MUS search space for finding multiple MUS is a hard task
• Now clingexplaid provides an Explorer class which allows for customised search approaches for this task
• Out-of-the-box Explorers:
  1. ExplorerPowerset (default)
     • Implements the powerset traversal approach from before
  2. ExplorerAsp
     • Implements an ASP search suggesting the next viable assumption subsets as models
• Custom Explorers:
  • The abstract Explorer base class can be used to seamlessly integrate your own explorer class
  • When constructing a CoreComputer object just replace the explorer parameter with your own Explorer class