Programa de Satisfactibilidad para  Job Shop

DATOS AL PROGRAMA.

Los datos al programa se encuentran en los archivos : plan1.txt, plan2.txt, plan3.txt y plan4.txt

Significado de  datos en plan*.txt:

6                     Número de operaciones

3                     Número máximo de precedencias

1 2 1 0            Operación , Tiempo de procesamiento, Número de máquina, Precedencia

2 4 2 1

3 1 2 0

4 5 1 3

5 3 1 0

6 6 2 5