Haifa's High Level Minimal Unsatisfiable Core (hhlmuc) finder

Download (for academic purposes only)

hhlmuc (resolution-based)

hhlmuc-a (assumptions-based)

For non-academic use please contact us.

Emails:

• rvadim@tx.technion.ac.il
• ofers@ie.technion.ac.il