First ILP Test Class
started on CNFNormalizer
CNFNormalizer first version
ILP Interface
Merge remote-tracking branch 'remotes/origin/master' into ILP
Actualize ILP Branch with recent developments

Conflicts:
	build.sbt
Delete non-useful test
Improvements, Bug Corrections, and Documentation added to ILPConnector and GurobiILPConnector
Optimizations on ILP and CPI for ILP
Wrote ILP to MPGraph compiler. Added Specs, which can unfortunately not been run if Gurobi is not installed. Thus they are uncommented.
Provide Gurobi installation instructions.
Merge remote-tracking branch 'origin/ILP' into dev

Conflicts:
	build.sbt
	src/main/scala/scalapplcodefest/legacy/TermDSL.scala
	src/test/scala/scalapplcodefest/legacy/MAPInferenceSpecs.scala
Merge remote-tracking branch 'origin/ILP' into dev

Conflicts:
	build.sbt
	src/main/scala/scalapplcodefest/legacy/TermDSL.scala
	src/test/scala/scalapplcodefest/legacy/MAPInferenceSpecs.scala