Add feasibility checking for linearity constraint (x in {0, 1})
Add depth-first branch (without bound) solution
Add missing trailing newline at end of class output format
Make feasible method private for giving useful debug info