This code computes SAT features. It has been used for computing features for SATzilla2012.

How to use it:
Usage: features {  [-all] | [-base] |[-sp] [-Dia] [-Cl] [-unit] [-ls] [-lobjois] } infile [outfile]
base: basic features
sp: Survey Propagation Features
dia: Diameter of VG graph
Cl: Clause Learning Features
unit: DPLL Probing Features (based on unit propagations)
ls: Local search probing features
lobjois: Search space size estimate
lp: LP-Based Features


For additional information, please contact
Lin Xu, xulin730@cs.ubc.ca
Frank Hutter, huuter@cs.ubc.ca
