Binary Constraints Linear Programming