Updating repo after a pretty long period of time. Implemented functionality for writing constraint - SDIFs.