Hi, Based on the email chain that was kicked off lately and also by Patrick Franz, I thought I would write a bit of an update related to SAT solvers in configuration/dependency management. (ana)conda has been working on integrating CryptoMiniSat into their system for such use, see: https://github.com/msoos/cryptominisat/issues/513 https://github.com/conda/conda/pull/7676 The discussion there is long but the point is that a modern SAT solver (and I don't mean only mean CMS) can be significantly faster than older systems such as pycosat. I am trying to be non-preferential to SAT solvers, and I personally have a lot of respect for CaDiCaL. In case performance is something of a concern (in coda's case it was), newer SAT solvers can make a big difference. Just my 2 cents, Mate
Attachment:
smime.p7s
Description: S/MIME Cryptographic Signature
