They care quite a bit actually, they just call their constructive proofs "algorithms" or "decision procedures".