Comment by kachnuv_ocasek

Can you share more about the connection between MCMC and SAT/SMT? That's a crossover I never thought I'd see.