<p><span class="h-card" translate="no"><a href="https://camp.crates.im/@nemo" class="u-url mention">@<span>nemo</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@ricci" class="u-url mention">@<span>ricci</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@dan" class="u-url mention">@<span>dan</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@lindsey" class="u-url mention">@<span>lindsey</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@sbrunthaler" class="u-url mention">@<span>sbrunthaler</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <br />The fork I want is the one where you enter the ranking you want and it gives you the weights to make that come true (or dumps an UNSAT core).</p>