Explorer Constraint problem specification as compression