Computing Solutions Built to Spec