Implemented constraints parsing
Supported abs(K) constraint