Some library functions added
Added constraint programing