Comment by emil-lp

It's not very difficult to turn a CDCL solver into an ALL-SAT solver, and there are many publications available doing exactly that.