HaifaHLMUC (HHLMUC)

HaifaHLMUC (HHLMUC) is a high-level minimal unsatisfiable core (MUC) extractor (also called Group MUS, or GMUS).
It is based on Minisat 2.2).

• Download Version 1.0
• Download Version 1.0 (assumptions-based)

  Related publications:

  • Alexander Nadel, Vadim Ryvchin, Ofer Strichman
    Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores
    Journal on Satisfiability, Boolean Modelling and Computation (JSAT) 9 (2014), pages 27-51.