Dependencies for sat-1.1.1

SATSolve
CNFGenerate