arthur

I tried compiling the CNF myself using a min-fill vtree, and also by turning off dynamic minimization, and it compiled quickly. It might be that the (dynamic) CNF compiler is...

I fixed the problem in my distribution. The problem wasn't 3.7 vs 3.8, it seemed to be a problem with miniconda. In particular it has its own linker ld distributed...