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.