minisat-output-formater
sat-input-formater
smt-prep
zchaff-output-formater
