<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@geofflangdale" class="u-url mention">@<span>geofflangdale</span></a></span> see if this makes sense for you</p><p><a href="https://gist.github.com/regehr/95aec54f01af5ade6e3c10e632378406" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/regehr/95aec54</span><span class="invisible">f01af5ade6e3c10e632378406</span></a></p><p>it's just the smallest z3-python file in my private repo that uses forall</p>
