I want to solve multiple SAT problem at the same time, how can I apply this in C++ (with the SOTA SAT solver like minisat, CMS etc.)
I found there is a likely implementation in this github issue. However, I want to apply this in C++, any suggestion? I am thinking about using multithreading, OpenMP or something else, but I am wondering why people like to use multi-threading to solve a very complicated SAT problem, but rarely found some implementation to use multiple solvers to solve multiple CNF problems at the same time?
