Home

The software accessible from this page is for academic use only. For other uses please contact the authors.

HaifaSmtMuc (HSmtMuc)

A Minimal Unsatisfiable Core extractor for SMT formulas

HaifaMUC (HMUC)

A Minimal Unsatisfiable Core extractor for SMT formulas

HaifaHLMUC (HHLMUC)

A High-level Minimal Unsatisfiable Core (MUC) extractor (also called Group MUS, or GMUS)

HaifaSAT

A SAT solver

HaifaCSP

A Constraints-Satisfaction Problem (CSP) solver

HBench

A GUI-based platform for performance benchmarking

Contact: For more information about these solvers you may contact Ofer Strichman at ofers@ie.technion.ac.il.