Update Version 1.14:
 - Changed some default values in argument.ml
 - Updated and added some examples (mostly comments, renaming, etc.)
 - Minor: More verbose error message for wrong constructor type.
 - Minor: Warning message for infeasible LP added at the end of the individual solutions.
 - bib Files added in a speparate directory
  
