title: How do I fix homebrew error message about "No available formula"
body: <p>When I run <code>brew doctor</code>, I get the following results:</p>
  
  <pre><code>Error: No available formula with the name "coin-or-tools/coinor/clp" 
  Please tap it and then try again: brew tap coin-or-tools/coinor
  </code></pre>
  
  <p>I've never deliberately installed <code>clp</code>, although this message started showing up after I installed <code>why3</code>, which I later deleted (because I intend to use <a href="https://www.lri.fr/~marche/MPRI-2-36-1/install.html#mac" rel="noreferrer">the approach suggested by Laboratoire de Recherche en Informatique</a> instead).</p>
  
  <p>As an experiment, I decided to just go ahead and tap that keg, but I then got the following results:</p>
  
  <pre><code>▶ brew doctor
  Error: Formulae found in multiple taps: 
   * coin-or-tools/coinor/coin_data_sample
   * dreal/coinor/coin_data_sample
  </code></pre>
  
  <p>I then tried untapping <code>dreal/coinor</code> and installing <code>clp</code>, but this failed because <code>Required package CoinUtils not available</code>. At this point, I felt like I was probably going too deep down this rabbit hole and pulled up, specifically, I untapped <code>coin-or-tools/coinor</code> and retapped <code>dreal/coinor</code>. Naturally, the original problem persists.</p>
  
  <p>What is the best approach for fixing this problem, or should I just fight my OCD tendencies and just ignore it?</p>