minex-package	minex-package
ddmin	ddmin
explain_failure	explain_failure
minex	minex
reduce_rows	reduce_rows
