include opendcm constraint solver