Added support of global constraints maximize, minimize. Updated converter to boost tokenizer, fixed "not" problem. Added operators >=,<=,==.