satchmo-examples-1.3: dependencies

Dependencies for satchmo-examples-1.3

Factor	array base containers process satchmo satchmo-minisat
HC	array base containers process satchmo satchmo-minisat
VC	array base containers process satchmo satchmo-funsat