ddc-core: start adding a map for solved constraints