Added doxygen, changed ConSatProb to CSP.