Dependencies for sat-1.0

SATSolve
CNFGenerate