Build #1815:   Enable optimization based on command-line, also accept upper bound, and print valuation... on branch weak_constraints over 2 years ago