ParentFull threadwenc·I haven’t used Conda since 2021 but recall it had a SAT solver that was very slow especially on degenerate cases.How does uv’s sat solver compare?View on HN