Revert "basic infrastructure"

This reverts commit 48fd0ae42b170312bbc735eb18258e372dde4553.
Revert "include opendcm constraint solver"

This reverts commit ad169ba87611bbe2514d31d846cd8d172c4dbe13.