Develop (#46)

* Added order propagator for scheduling

* Added Job-Shop scheduling example

Author: chschulte

Makefile.dep

@@ -325,6 +325,7 @@ INTSRC0 = \
 	unshare.cpp sequence.cpp \
 	bin-packing.cpp bin-packing/propagate.cpp \
 	bin-packing/conflict-graph.cpp \
+	order.cpp order/propagate.cpp \
 	unary.cpp cumulative.cpp cumulatives.cpp \
 	circuit.cpp no-overlap.cpp nvalues.cpp \
 	member.cpp branch/action.cpp branch/chb.cpp \
@@ -398,6 +399,7 @@ INTHDR0 = \
 	task.hh task/fwd-to-bwd.hpp task/array.hpp task/sort.hpp \
 	task/iter.hpp task/tree.hpp task/purge.hpp task/prop.hpp \
 	task/man-to-opt.hpp task/event.hpp \
+	order.hh order/propagate.hpp \
 	unary.hh unary/task.hpp unary/task-view.hpp \
 	unary/tree.hpp unary/overload.hpp unary/detectable.hpp \
 	unary/time-tabling.hpp unary/not-first-not-last.hpp \
@@ -462,7 +464,7 @@ INTBUILDDIRS	= \
 	int/channel int/arithmetic int/linear int/bool int/branch int/exec \
 	int/element int/sequence int/bin-packing \
 	int/unary int/cumulative int/cumulatives int/task \
-	int/ldsb int/distinct int/trace
+	int/ldsb int/distinct int/trace int/order
 
 #
 # FLOAT COMPONENTS
@@ -879,7 +881,7 @@ INTEXAMPLESRC0 =						\
 	word-square crossword open-shop car-sequencing sat      \
 	bin-packing knights tsp perfect-square schurs-lemma     \
 	dominating-queens colored-matrix multi-bin-packing	\
-	qcp
+	qcp job-shop
 
 
 INTEXAMPLEHDR  = $(INTEXAMPLEHDR0:%=examples/%.hpp)
@@ -1081,7 +1083,7 @@ INTTESTSRC00 = \
 	channel arithmetic basic bool count dom distinct element extensional \
 	rel linear gcc sorted unshare exec sequence \
 	mm-arithmetic mm-bool mm-lin mm-count mm-rel \
-	bin-packing unary cumulative cumulatives circuit \
+	bin-packing order unary cumulative cumulatives circuit \
 	no-overlap precede nvalues member
 INTTESTSRC0 = test/int.cpp $(INTTESTSRC00:%=test/int/%.cpp)
 INTTESTOBJ = $(INTTESTSRC0:%.cpp=%$(OBJSUFFIX))

Makefile.in

@@ -68,6 +68,20 @@ Date: 2019-??-??
 [DESCRIPTION]
 Let's see.
 
+[ENTRY]
+Module: example
+What:   new
+Rank:   minor
+[DESCRIPTION]
+Added job-shop scheduling example.
+
+[ENTRY]
+Module: int
+What:   new
+Rank:   minor
+[DESCRIPTION]
+Added order constraint for two unary scheduling tasks.
+
 [ENTRY]
 Module: flatzinc
 What:   new