Dependencies for satchmo-examples-1.4.1

Factor
HC
VC
QBF